Prädikatenlogik mit partiell definierten Funktionen. Werner Markwald (1971) Archiv für mathematische Logik und Grundlagenforschung
Prädikatenlogik mit partiell definierten Funktionen II. Werner Markwald (1974) Archiv für mathematische Logik und Grundlagenforschung
Predicate calculus and naive set theory in pure combinatory logic. M.W. Bunder (1981) Archiv für mathematische Logik und Grundlagenforschung
Prefix classes of Krom formulae with identity. S.O. Aanderaa, E. Börger (1982) Archiv für mathematische Logik und Grundlagenforschung