@InProceedings{	  araetal96jicslpposter,
  author	= {Chandrabose Aravindan and Peter Baumgartner and J\"{u}rgen
		  Dix and Ulrich Furbach and Gerd Neugebauer and Ilkka
		  Niemel\"{a} and Dorothea Sch{\"{a}}fer and Frieder
		  Stolzenburg},
  title		= { On merging theorem proving and logic programming
		  paradigms},
  booktitle	= {Proceedings of the Poster Session at the Joint
		  International Conference and Symposium on Logic
		  Programming},
  year		= {1996},
  editor	= {N.~Fuchs and U.~Geske},
  pages		= {99--122},
  organization	= {},
  publisher	= {GMD-Studien Nr. 296},
  address	= {Bonn, Germany},
  month		= {September},
  note		= {}
}