id: 70960495
dt: a
an: 70960495
au: Ramanujam, Ramaswamy
ti: Trace consistency and inevitablity
so: FSTTCS, 250-261 (1996).
py: 1996
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-62034-6_54