Allen L. Brown Jr. Surya Mantha Toshiro Wakayama Constraint Optimization using Preference Logics: A New Role for Modal Logic. 12-21 1993 PPCP db/conf/ppcp/ppcp93.html#BrownMW93