Lazy abstraction for size-change termination (0)

by Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-kamp
Venue:17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010), volume 6397 of Lecture