Crespo, Ricardo; Tohmé, Fernando; Heymann, Daniel
(In L. Magnani, W. Carnielli and C. Pizzi (eds.), Model Based Reasoning in Science and Technology: Abduction, Logic and Computational Discovery, Studies in Computational Intelligence Series, Vol. 314. Springer Verlag: 179-198., 2010)