Projection-based Termination Analysis

K. Davis
DOI: https://doi.org/10.1007/978-1-4471-3236-3_3
Abstract:
What problem does this paper attempt to address?