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