Illative combinatory logic without equality as a primitive predicate
scientific article; zbMATH DE number 3706408