Published in Annals of Mathematics and Artificial Intelligence, vol. 64, n. 2-3, April 2012, pp. 311–333 Share