Canonical abstract syntax trees, in (2006)

by A Reilles
Venue:Proceedings of the 6th International Workshop on Rewriting Logic and its Applications