Refined triggering graphs: a logic-based approach to termination analysis in an active object-oriented database | IEEE Conference Publication | IEEE Xplore