"Function-Patterns and Fan-Backtracking for Logic Programming."

Nikolai K. Kossovsky, Igor P. Solovjev (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics