Gregory M. Provan: An Empirical Analysis of the Complexity of Model-Based Diagnosis. ECAI 2006: 783-784