Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.

Christoph Beierle, Steven Kutsch

Browse the full JELIA paper archive.