Two P-Complete Problems in the Theory of the Reals. - Felipe Cucker; A. Torrecillas (ICALP, 1991)

Average Case Analysis of Unification Algorithms. - Luc Albert; Rafael Casas; François Fages; A. Torrecillas; Paul Zimmermann (STACS, 1991)

Two P-complete problems in the theory of the reals. - Felipe Cucker; A. Torrecillas (J. Complex., 1992)