Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. - Alan Verberne; Frank van Harmelen; Annette ten Teije (KR, 2000)