Lorena Chavarría-Báez, Xiaoou Li
Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach
SEKE, 2008.
@inproceedings{SEKE-2008-Chavarria-BaezL,
author = "Lorena Chavarría-Báez and Xiaoou Li",
booktitle = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-22-5",
pages = "363--366",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach}",
year = 2008,
}