Equational Systems and Free Constructions (Extended Abstract).

Marcelo P. Fiore, Chung-Kil Hur

Browse the full ICALP paper archive.