Forest algebras (2008)

by M Bojańczyk, I Walukiewicz
Venue:In Logic and Automata