Using Narrowing Approximations to Optimize Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP, 1993)

Narrowing Approximations as an Optimization for Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (PLILP, 1993)

A Compositional Semantics for Conditional Term Rewriting Systems. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP-PRODE (1), 1994)