@InProceedings{BeckertHaehnleEA97,
  author	= {Bernhard Beckert and Reiner H\"ahnle and Gonzalo
		  Escalada-Imaz},
  title		= {Simplification of Many-Valued Logic Formulas Using
		  Anti-Links},
  editor	= {P\'erez de Guzm\'an Molina, I.},
  booktitle	= {Many-Valued Logics for Computer Applications,
		  Workshop of Working {Group 2}, Cost {Action 15}},
  venue         = {Malaga, Spain},
  publisher	= {Department of Mathematics, University of Malaga},
  pages         = {23--34},		  
  year		= {1997}
}