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. (Springer Berlin Heidelberg : Imprint: Springer, 2010)