Conditional terms in semantic programming
scientific article; zbMATH DE number 6834938
scientific article