author = {Florina Piroi and Temur Kutsia},
title = {{The Theorema Environment for Interactive Proof Development}},
booktitle = {{Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR'05}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {3835},
pages = {261--275},
publisher = {Springer Verlag},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-30553-X},
year = {2005},
editor = {G. Sutcliffe and A. Voronkov},
refereed = {yes},
length = {15},
url = {http://www.lpar.net/2005/}