Iliano Cervesato, Massimo Franceschet, Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi
ICLP, 1997.
@inproceedings{ICLP-1997-CervesatoFM,
author = "Iliano Cervesato and Massimo Franceschet and Angelo Montanari",
booktitle = "{Proceedings of the 14th International Conference on Logic Programming}",
isbn = "0-262-64035-X",
pages = "419",
publisher = "{MIT Press}",
title = "{The Complexity of Model Checking in Modal Event Calculi}",
year = 1997,
}