TPTP Reference: SZS03

    Author       = "Sutcliffe, G. and Zimmer, J. and Schulz, S.",
    Year         = "2003",
    Title        = "{Communication Formalisms for Automated Theorem Proving
    Editor       = "Sorge, V. and Colton, S. and Fisher, M. and Gow, J.",
    BookTitle    = "{Proceedings of the Workshop on Agents and Automated
                    Reasoning, 18th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Acapulco, Mexico",
    Pages        = "52-57",
    Comment      = "TPTPRef"