@InProceedings{BeckertHaehnleEA95,
author = {Bernhard Beckert and Reiner H\"ahnle and Neil V. Murray
and Anavai Ramesh},
title = {Anti-Links for Boolean Function Manipulation},
editor = {L. Dreschler-Fischer and Simone Pribbenow},
booktitle = {KI-95 Activities: Workshops, Posters, Demos --
Workshop ``Computational and Propositional Logic''},
publisher = {Gesellschaft f\"ur Informatik},
year = {1995}
}