Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín. Adding Type Classes to Functional-Logic Languages. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 427-438, 1996.