On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg

Browse the full ICLP paper archive.