Verónica Borja Macías, Miguel Pérez-Gaspar. 3. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda, editors, Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Volume 1659 of CEUR Workshop Proceedings, pages 1-8, CEUR-WS.org, 2016. [doi]
Abstract is missing.