author = {N. Popov and T. Jebelean},
title = {{A Practical Approach to Proving Termination of Recursive Programs in Theorema}},
booktitle = {{Proceedings of 7th International Workshop on Termination}},
language = {english},
pages = {43--46},
address = {Aachen, Germany},
isbn_issn = {ISSN-0935-3232},
year = {2004},
month = {June},
editor = {M. Codish and A. Middeldorp},
refereed = {yes},
length = {4}