@InProceedings{MS05-IWIL,
    Author       = "Mueller, E. and Sutcliffe, G.",
    Year         = "2005",
    Title        = "{Discrete Event Calculus Deduction using First-Order
                    Automated Theorem Proving}",
    Editor       = "Konev, B. and Schulz, S.",
    BookTitle    = "{Proceedings of the 5th International Workshop on the
                    Implementation of Logics}",
    Place        = "Montevideo, Uruguay",
    Pages        = "43-56",
    Series       = "",
    Number       = "",
    Comment      = "TPTPRef"
}

@InProceedings{MS05,
    Author       = "Mueller, E. and Sutcliffe, G.",
    Year         = "2005",
    Title        = "{Reasoning in the Event Calculus using First-Order
                    Automated Theorem Proving}",
    Editor       = "Russell, I. and Markov, Z.",
    BookTitle    = "{Proceedings of the 18th International FLAIRS Conference}",
    Place        = "Clearwater Beach, USA",
    Pages        = "840-841",
    Publisher    = "AAAI Press",
    Comment      = "TPTPRef"
}