Relating graph and term rewriting via Böhm models.

Published in: Appl. Algebra Eng. Commun. Comput. (1996)

Keyphrases