@InProceedings{Mue04,
    Author       = "Mueller, E.",
    Year         = "2004",
    Title        = "{A Tool for Satisfiability-based Commonsense Reasoning in the Event Calculus}",
    Editor       = "Barr, V. and Markov, Z.",
    BookTitle    = "{Proceedings of the 17th International FLAIRS Conference}",
    Place        = "Miami, USA",
    Pages        = "147-152",
    Publisher    = "AAAI Press",
    Address      = "Palo Alto, USA",
    Comment      = "TPTPRef"
}

% Other possible matches are:

@Article{Mue04-JLC,
    Author       = "Mueller, E.",
    Year         = "2004",
    Title        = "{Event Calculus Reasoning Through Satisfiability}",
    Journal      = "Journal of Logic and Computation",
    Volume       = "14",
    Number       = "5",
    Pages        = "703-730",
    Comment      = ""
}