Equational systems and free constructions (2007)

by M P Fiore, C-K Hur
Venue:In Proc. of ICALP’07