Philippe Besnard Robert E. Mercer Torsten Schaub Optimality theory through default logic. 77-83 2002 conf/nmr/2002 NMR db/conf/nmr/nmr2002.html#BesnardMS02