"Preventing Instantiation Errors and Loops for Logic Programs with Multiple ..."

Jan-Georg Smaus, Patricia M. Hill, Andy King (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics