Intelligentes Backtracking bei der Auswertung funktional-logischer Programme - Koch, Patrik (RWTH Aachen, Fachgruppe Informatik, 1992)
Literaturverz. S. 43 - 45