author = {L. Kovacs and T. Jebelean},
title = {{Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods}},
booktitle = {{Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144}},
language = {english},
volume = { vol. CVI},
number = {2172},
pages = {125--134},
publisher = {Technical University of Budapest, PAMM-Centre},
address = {Balatonalmadi, Hungary},
isbn_issn = {ISSN 0133-3526},
year = {2004},
month = {20-23 May},
annote = {2004-05-23-A},
editor = {F. Fazekas et al},
refereed = {yes},
length = {10}