Lorenzo Magnani , Walter Carnielli , Claudio Pizzi (2010) Model-based reasoning in science and technology: abduction, logic, and computational discovery, Dordrecht, Springer.
pp. 239-262
This document is unfortunately not available for download at the moment.