Farid Benhammadi Pascal Nicolas Torsten Schaub Extension Calculus and Query Answering in Prioritized Default Logic. 76-87 http://link.springer.de/link/service/series/0558/bibs/1480/14800076.htm 1998 AIMSA db/conf/aimsa/aimsa1998.html#BenhammadiNS98