Gregory M. Provan: Solving Diagnostic Problems Using Extended Truth Maintenance Systems. ECAI 1988: 547-552