Improving Dependency Pairs.

Jrgen Giesl, Ren Thiemann, Peter Schneider-Kamp, Stephan Falke

Browse the full LPAR paper archive.