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