Predicate-functors and the limits of decidability in logic
permutations or recurrences of predicate places
scientific article; zbMATH DE number 3646846