Non-Monotonic Reasoning with Quantified Boolean Constraints.

Ch. Pollet, Jeffrey B. Remmel

Browse the full LPNMR paper archive.