Barendregt's problem \#26 and combinatory strong reduction
scientific article; zbMATH DE number 7627938
scientific article