On Merging Theorem Proving and Logic Programming Paradigms

Reference:

C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, Ilkka Niemelä, D. Schäfer, and F. Stolzenburg. On merging theorem proving and logic programming paradigms. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, page 546, Bonn, Germany, September 1996. The MIT Press.

Suggested BibTeX entry:

@inproceedings{airg96:jicslp,
    address = {Bonn, Germany},
    author = {C. Aravindan and P. Baumgartner and J. Dix and U. Furbach and G. Neugebauer and Ilkka Niemel{\"a} and D. Sch\"afer and F. Stolzenburg},
    booktitle = {Proceedings of the Joint International Conference and Symposium on Logic Programming},
    editor = {M. Maher},
    month = {September},
    pages = {546},
    publisher = {The MIT Press},
    title = {On Merging Theorem Proving and Logic Programming Paradigms},
    year = {1996},
}