Torsten Schaub Stefan Brüning Prolog Technology for Default Reasoning (An Abridged Report). 105-109 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#SchaubB96