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

Chandrabose Aravindan Peter Baumgartner Jürgen Dix Ulrich Furbach Gerd Neugebauer Ilkka Niemelä Dorothea Schäfer Frieder Stolzenburg On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). 546 1996 JICSLP db/conf/iclp/iclp96.html#AravindanBDFNNSS96