"Symbolic execution of logic programs."

Timothy Arndt et al. (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics