@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}
}