id: 70287700
dt: a
an: 70287700
au: Karadimce, Anton P.; Urban, Susan Darling
ti: Refined triggering graphs: A logic-based approach to termination analysis
    in an active object-oriented database
so: ICDE, 384-391 (1996).
py: 1996
pu: 
la: EN
cc: 
ut: 
ci: 
li: