From Rewrite Rules to Bisimulation Congruences (1998)

by P Sewell
Venue:In Proc. of CONCUR’98, volume 1466 of LNCS