Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery - Magnani, Lorenzo; Carnielli, Walter; Pizzi, Claudio (Springer Berlin Heidelberg, 2010)