"Unsolvable Problems for SLDNF Resolution."

John C. Shepherdson (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics