Media type: E-Article Title: Formalizing a logic for logic programming Contributor: Schlipf, John S. imprint: Springer Science and Business Media LLC, 1992 Published in: Annals of Mathematics and Artificial Intelligence Language: English DOI: 10.1007/bf01543479 ISSN: 1012-2443; 1573-7470 Keywords: Applied Mathematics ; Artificial Intelligence Origination: Footnote: