author = {Temur Kutsia},
title = {{Equational Prover of Theorema}},
booktitle = {{Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03)}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {367--379},
publisher = {Springer Verlag},
address = {Valencia, Spain},
isbn_issn = {ISBN 3-540-40254-3},
year = {2003},
month = {June 9--11},
editor = {Robert Nieuwenhuis},
refereed = {yes},
length = {13}