@InProceedings{KutsiaNakagawa01Calculemus,
  author =       "Temur Kutsia and Koji Nakagawa",
  editor =       "Steve Linton and Roberto Sebastiani",
  title =        "An Interface between {Theorema} and External Automated Deduction Systems",
  booktitle =    "Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning ({Calculemus'01}",
  address =      "Siena, Italy",
  month =        "21--23 " # jun,
  pages =        "178--182",
  year =         "2001",
}