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 N.E. Fuchs and U. Geske, editors, Proceedings of the Poster Session at JICSLP'96, pages 99–122, Bonn, Germany, September 1996. GMD—Forschungszentrum Informationstechnik. GMD-Studien Nr. 296.

Suggested BibTeX entry:

@inproceedings{airg96:poster,
    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 Poster Session at JICSLP'96},
    editor = {N.E. Fuchs and U. Geske},
    month = {September},
    note = {GMD-Studien Nr.~296},
    pages = {99--122},
    publisher = {GMD---Forschungszentrum Informationstechnik},
    title = {On Merging Theorem Proving and Logic Programming Paradigms},
    year = {1996},
}