K. Schütte. Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädiktenlogik mit Identität. Acta Cybernetica, 4(1):141-148, 1978. [ PDF ]
This document was translated from BibTEX by bibtex2html