author = {Madalina Erascu and Tudor Jebelean},
title = {{A Purely Logical Approach to Program Termination}},
language = {english},
year = {2010},
month = {3-5 August},
note = {Contributed talk at CIAO 2010: 19th Clam-Inka-OMRS Workshop},
organization = {RISC, Castle of Hagenberg, Austria},
conferencename = {CIAO 2010: 19th Clam-Inka-OMRS Workshop}