On Merging Theorem Proving and Logic Programming Paradigms (1996)

AUTHORS:

Aravindan C. , Baumgartner P. , Dix J. , Furbach U. , Neugebauer G. , Niemelä Ilkka , Schäfer D. , Stolzenburg F.

  • BOOKTITLE:
  • PAGES:
  • 546