Interpretations of term graphs (1994)

by Ross Paterson