author = {N. Popov and T. Jebelean},
title = {{Proving Termination of Recursive Programs by Matching Against Simplified Program Versions and Construction of Specialized Libraries in Theorema}},
booktitle = {{Proceedings of 9-th International Workshop on Termination}},
language = {english},
pages = {48--52},
address = {Paris, France},
isbn_issn = {ISSN-0935-3232},
year = {2007},
month = {June},
editor = {D. Hofbauer and A. Serebrenik},
refereed = {yes},
length = {4}