A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). - Christoph Beierle; Gabriele Kern-Isberner; Nicole Koch (IJCAR, 2008)