Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten - Schmuecker, Astrid (1986)