Logical and computational aspects of model-based reasoning

by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi