Implementierung algebraischer Spezifikationen in Prolog zur Unterstützung interaktiver Induktionsbeweise - Petzsch, Heiko (Rhein.-Westfäl. Techn. Hochsch., 1987)