Danilo Montesi, Maria Bagnato, Cristina Dallera. Rule Termination through Deactivation Graphs in Active Database. In SEBD. pages 373-385, 1999.
@inproceedings{MontesiBD99,
title = {Rule Termination through Deactivation Graphs in Active Database},
author = {Danilo Montesi and Maria Bagnato and Cristina Dallera},
year = {1999},
tags = {rule-based, termination, graph-rewriting, rules, database, rewriting},
researchr = {https://researchr.org/publication/MontesiBD99},
cites = {0},
citedby = {0},
pages = {373-385},
booktitle = {SEBD},
}