@InCollection{SZS04,
    Author       = "Sutcliffe, G. and Zimmer, J. and Schulz, S.",
    Year         = "2004",
    Title        = "{TSTP Data-Exchange Formats for Automated Theorem Proving Tools}",
    Editor       = "Zhang, W. and Sorge, V.",
    BookTitle    = "{Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems}",
    Pages        = "201-215",
    Series       = "Frontiers in Artificial Intelligence and Applications",
    Number       = "112",
    Publisher    = "IOS Press",
    Comment      = "TPTPCite"
}