Termination Analysis of Active Rules -A Petri Net Based Approach.

Xiaoou Li, Lorena Chavarra-Bez

Browse the full SMC paper archive.