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