Iliano Cervesato Angelo Montanari A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. 111-164 1999 38 J. Log. Program. 2 db/journals/jlp/jlp38.html#CervesatoM99