@article{BeckertEA97,
   author        = {Bernhard Beckert and Reiner H\"ahnle and Gonzalo
		   Escalada-Imaz},
   title         = {Simplification of Many-Valued Logic Formulas Using
		   Anti-Links},
   journal       = {Journal of Logic and Computation},
   volume        = {8},
   number        = {97-18},
   pages         = {569--587},		  
   year          = {1998}
}