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

by Marcelo Fiore, Chung-Kil Hur
Venue:IN: SPECIAL ISSUE FOR AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2007). VOLUME 410 OF THEORETICAL COMPUTER SCIENCE