Elena Baralis Stefano Ceri Stefano Paraboschi Run-time Detection of Non-Terminating Active Rule Systems. 38-54 1995 conf/dood/1995 DOOD db/conf/dood/dood95.html#BaralisCP95 http://dx.doi.org/10.1007/3-540-60608-4_33