F.: An algebraic presentation of term graphs, via gsmonoidal categories (1999)

by A Corradini, Gadducci
Venue:Applied Categorical Structures