Nested expressions in logic programs
scientific article; zbMATH DE number 1456912