On the declarative and procedural semantics of definite metalogic programs
scientific article; zbMATH DE number 910479