Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery - Magnani, Lorenzo (Springer-Verlag Berlin Heidelberg, 2010)