Current topics in artificial intelligence 13th conference of the spanish association for artificial intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers - Meseguer, Pedro; Mandow, Lawrence; Gasca, Rafael M. (Lecture Notes in Computer Science,, 2010)