with Shin Kim, Y. , 2014, Galileo's discovery of the moons orbiting jupiter based on abductive inference strategies, in L. Magnani (ed.), Model-based reasoning in science and technology, Dordrecht, Springer, pp. 281-299.