@inproceedings{DBLP:conf/ismis/SchaubN97, title = {An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings}, author = {Schaub, Torsten and Nicolas, Pascal}, booktitle = {{ISMIS}}, pages = {197--206}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1325}, year = {1997} }