Logical and Computational Aspects of Model-Based Reasoning door Lorenzo Magnani