@InProceedings{RameshMurrayEA95c,
author = {Anavai Ramesh and Neil V. Murray and Bernhard Beckert and
Reiner H\"ahnle},
title = {Propositional Non Clausal Deduction and Diagnosis},
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}
}