A polytypic rewriting system (1996)

by Patrik Berglund