@TechReport{	  BeckertHaehnleEATR97,
  author	= {Bernhard Beckert and Reiner H\"ahnle and
                   Gonzalo Escalada-Imaz},
  title		= {Simplification of Many-Valued Logic Formulas
                   Using Anti-Links},
  institution	= {Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik},
  number	= {11/97},
  year		= {1997}
}