Stand Up Logician
FaMAF, Univeridad Nacional de Córdoba
Medina Allende s/n , Ciudad Universitaria
CP:X5000HUA Córdoba, Argentina
Phone: +54 351 4334051 ext. 403
Fax: +54 351 4334054
mail: firstname.lastname (at) gmail.com
http://cs.famaf.unc.edu.ar/~careces

• Areces, C., Figueira, S., and Mera, S.. Completeness results for memory logics. Annals of Pure and Applied Logic, 163(7):961--972, 2012. Extended version of LFCS'09 paper of the same title.
• Orbe, E., Areces, C., and Infante-López, G.. iSat: Structure Visualization for SAT Problems. In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, March 2012.