Function-Patterns and Fan-Backtracking for Logic Programming. - Nikolai K. Kossovsky; Igor P. Solovjev (ICLP, 1993)