1. Saturation, nonmonotonic reasoning, and the closed-world assumption;Bossu;Artif. Intell.,1985
2. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
3. Causes for events: their computation and applications;Cox,1986
4. An assumption-based TMS;de Kleer;Artif. Intell.,1986
5. A comparison of ATMS and CSP techniques;de Kleer,1989