On the construction of free algebras for equational systems (2009)

by M Fiore, C-K Hur
Venue:In TCS special issue for ICALP’07