The Maude System (1999)

by M Clavel, Durán FJ, S Eker, Lincoln Martí-Oliet N, J Meseguer, Quesada JF
Venue:In Proceedings of the 10th International Conference on Rewriting Techniques