Non-Monotonic Reasoning with Quantified Boolean Constraints. - Ch. Pollet; Jeffrey B. Remmel (LPNMR, 1997)