"Computing Definite Logic Programs by Partial Instantiation."

Vadim Kagan, Anil Nerode, V. S. Subrahmanian (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics