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