author = {Temur Kutsia and Koji Nakagawa},
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)}},
language = {english},
pages = {178--182},
address = {Siena, Italy},
year = {2001},
month = {Jun 21--23},
editor = {Steve Linton and Roberto Sebastiani},
refereed = {yes},
length = {5}