The Logical Compilation of Knowledge Bases.

Philippe Mathieu, Jean-Paul Delahaye

Browse the full JELIA paper archive.