Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur. - Edgar Korthauer (1991)