A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).

Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch

Browse the full CADE paper archive.