Automating the Abductive Inference Loop. - Coen J. C. Stevens; Bart-Floris Visscher; Thomas R. Addis (SMC, 2006)