On Merging Theorem Proving and Logic Programming Paradigms

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationJoint International Conference and Symposium on Logic Programming, September 2-6, 1996, Bonn, Germany
    Subtitle of host publicationProceedings
    EditorsM. Maher
    Pages546
    Publication statusPublished - 1996
    MoE publication typeA4 Article in a conference publication

    Cite this