Disclaimer: The information of this page is a bit old. For more recent
papers I suggest to visit the corresponding Babel group page (babel.ls.fi.upm.es).
These papers represent some work about the design, expressive power
and implementation of (narrowing based) equational languages.
There is also a list
of papers with abstracts