Formalizing a logic for logic programming
scientific article; zbMATH DE number 1005846
scientific article