Schütte, K. 1978. Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität. Acta Cybernetica. 4, 1 (Jan. 1978), 141-148.