@InProceedings{SZS:IJCAI-WS-2003, author = {G. Suctcliffe and J. Zimmer and S. Schulz}, title = {{Communication Formalisms for Automated Theorem Proving Tools}}, booktitle = {Proc.\ of the IJCAI-18 Workshop on Agents and Automated Reasoning}, pages = {53--58}, year = {2003}, editor = {V. Sorge and S. Colton and M. Fisher and J. Gow}, note = {Available at \url{http://www.cs.bham.ac.uk/~vxs/ijcai03/index.html#program}}, annote = {StS}, }