@InCollection{MS02,
    Author       = "Miller, R. and Shanahan, M.",
    Year         = "2002",
    Title        = "{Some Alternative Formulations of the Event Calculus}",
    Editor       = "Kakas, A.C. and Sadri, F.",
    BookTitle    = "{Computational Logic: Logic Programming and Beyond}",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "2407",
    Pages        = "452-490",
    Publisher    = "McGraw-Hill",
    Comment      = "TPTPRef"
}