Building a knowledge base system for an integration of logic programming and classical logic (0)

by M Denecker, J Vennekens
Venue:In ICLP, M. Garćıa de la Banda and