"Implementation-Based Analysis and Testing of Prolog Programs."

Fevzi Belli, Oliver Jack (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics