@inproceedings{DBLP:conf/ecai/SchaubB96, title = {Prolog Technology for Default Reasoning (An Abridged Report)}, author = {Schaub, Torsten and Br{\"{u}}ning, Stefan}, booktitle = {{ECAI}}, pages = {105--109}, publisher = {John Wiley and Sons, Chichester}, year = {1996} }