Automating the Abductive Inference Loop.

Coen J. C. Stevens, Bart-Floris Visscher, Thomas R. Addis

Browse the full SMC paper archive.