@inproceedings{conf/seke/Chavarria-BaezL08,
title = {Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach.},
author = {Lorena Chavarria-Baez and Xiaoou Li},
booktitle = {SEKE},
crossref = {conf/seke/2008},
pages = {363-366},
publisher = {Knowledge Systems Institute Graduate School},
url = {http://dblp.uni-trier.de/db/conf/seke/seke2008.html#Chavarria-BaezL08},
year = {2008},
description = {dblp},
isbn = {1-891706-22-5}, date = {2008-09-12},
keywords = {dblp }
}
::