C. Gutiérrez

Normal Forms and Reduction for Theories of Binary Relations

Daniel J. Dougherty, Claudio Gutiérrez, C. Gutiérrez, 2000, RTA.

Solving Equations in Strings: On Makanin's Algorithm

Claudio Gutiérrez, C. Gutiérrez, 1998, LATIN.

Fast inverse for big numbers : Picarte ’ s iteration

C. Gutiérrez, M. Monsalve, 2007 .