Term graph syntax for multi-algebras (2000)

by A Corradini, F Gadducci, W Kahl