author = {L. Kovacs and T. Jebelean},
title = {{Automated Generation of Loop Invariants by Recurrence Solving in Theorema}},
language = {english},
journal = {Analele Universitatii din Timisoara, Seria Matematica - Informatica},
volume = {XLII},
pages = {151--166},
publisher = {Mirton Publisher},
address = {Timisoara, Romania},
isbn_issn = {ISSN 1224-970X},
year = {2004},
note = {special issue on Computer Science - Proceedings of SYNASC'04},
refereed = {yes},
length = {16}