A Complete Proof System for Nested Term Graphs.

Stefan Blom A Complete Proof System for Nested Term Graphs. 74-89 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#Blom95