LANMR 2014, Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning
: proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning : Valle de Bravo, Mexico, November 5-7, 2014