## Marc Denecker, Joost Vennekens

*Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic*

ICLP, 2008.

@inproceedings{ICLP-2008-DeneckerV, author = "Marc Denecker and Joost Vennekens", booktitle = "{Proceedings of the 24th International Conference on Logic Programming}", doi = "10.1007/978-3-540-89982-2_12", isbn = "978-3-540-89981-5", pages = "71--76", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic}", volume = 5366, year = 2008, }