"A Tool to Check the Non-Floundering Logic Programs and Goals."

Roberto Barbuti, Maurizio Martelli (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics