Eine Methode zur automatischen Herleitung oder Widerlegung einfacher Programmeigenschaften durch Generierung neuer Termersetzungsregeln - Müller, Martin (1999)