From rewrite to bisimulation congruences (1998)

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