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