Ashok Goel, John Josephson, Olivier Fischer & P. Sadayappan. Practical Abduction: Characterization, Decomposition and Distribution. Journal of Experimental and Theoretical Artificial Intelligence, 7:429-450, 1995.