Login / Signup

On the Modularity of Normal Forms in Rewriting.

Massimo Marchiori
Published in: J. Symb. Comput. (1996)
Keyphrases