Available at http://www.elsevier.nl/locate/entcs/volume15.html (1998)

by C Kirchner, H Kirchner, eds
Venue:Procs. 2nd Intl. Workshop on Rewriting Logic and its Applications