Ch. Pollet Jeffrey B. Remmel Non-Monotonic Reasoning with Quantified Boolean Constraints. 18-39 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#PolletR97 http://dx.doi.org/10.1007/3-540-63255-7_3