Massimo Franceschet, Angelo Montanari. A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Annals of Mathematics and Artificial Intelligence, 30(1-4):93-118, 2000.
@article{FranceschetM00,
title = {A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus},
author = {Massimo Franceschet and Angelo Montanari},
year = {2000},
tags = {graph-rewriting, rewriting, systematic-approach},
researchr = {https://researchr.org/publication/FranceschetM00},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {30},
number = {1-4},
pages = {93-118},
}