Correct Reasoning about Logic Programs

Jael Kriener. Correct Reasoning about Logic Programs. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 280-283, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]


Abstract is missing.