de Pol. Simulation as a correct transformation of rewrite systems (1997)

by W Fokkink, J van
Venue:In In Proceedings of 22nd Symposium on Mathematical Foundations of Computer Science, LNCS 1295