author = {Madalina Erascu and Tudor Jebelean},
title = {{A Purely Logical Approach to Program Termination}},
booktitle = {{Proceedings of the 11th International Workshop on Termination}},
language = {english},
pages = { -- },
isbn_issn = { },
year = {2010},
editor = {Peter Schneider-Kamp},
refereed = {yes},
length = {5},
conferencename = {Federated Logic Conference, Edinburgh, 9-21 July}