@inproceedings{DBLP:conf/aimsa/BenhammadiNS98, title = {Extension Calculus and Query Answering in Prioritized Default Logic}, author = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten}, booktitle = {{AIMSA}}, pages = {76--87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1480}, year = {1998} }