Query answering for circumscription - Helft, Nicolas; Inoue, Katsumi; Poole, David (1991)