"Findall without findall/3."

André Mariën (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics