Theorembeweisen mit Rewrite-Techniken Methode, Strategien und Vergleiche - Müller, Heinz J. (1988)