Deepak Kapur David R. Musser Proof by Consistency. 125-157 1987 31 Artif. Intell. 2 db/journals/ai/ai31.html#KapurM87