On pseudo-c\(\beta\) normal form in combinatory logic
scientific article; zbMATH DE number 4101141