Complexity and undecidability results for logic programming
scientific article; zbMATH DE number 937276
scientific article