id: 70160736
dt: a
an: 70160736
au: Ohlebusch, Enno
ti: Conditional term graph rewriting
so: ALP/HOA, 144-158 (1997).
py: 1997
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/BFb0027008