@inproceedings{RISC2053,
author = {L. Kovacs and T. Jebelean},
title = {{Generation of Invariants in Theorema}},
booktitle = {{Proceedings of the 10th International Symphosium of Mathematics and its Application}},
language = {english},
series = {Scientific Bulletins of the Politehnica University Timisoara, Transactions on Mathematics and Physics},
pages = {407--415},
address = {Timisoara, Romania},
isbn_issn = {ISSN 1224-6069},
year = {2003},
month = {6-9 November},
annote = {2003-11-06-A},
editor = {N.Boja},
refereed = {yes},
length = {8}
}