Current Topics in Artificial Intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers - Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca ((Lecture Notes in Computer Science))