Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Martin Wirsing — 1977 Manuscripta mathematica
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Martin Wirsing — 1978 Archiv für mathematische Logik und Grundlagenforschung
Algebraic definition of a functional programming language and its semantic models Manfred Broy; Martin Wirsing — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications