TPTP Reference: Mue04
@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 = ""
}
@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",
Comment = "TPTPRef"
}