@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}
}