Recursive terms in semantic programming
scientific article; zbMATH DE number 7035746
scientific article