Marc Denecker, Joost Vennekens. Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 71-76, Springer, 2008. [doi]
Abstract is missing.