Mechanizing and Improving Dependency Pairs
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan FalkeVolume:
37
Language:
english
Pages:
49
DOI:
10.1007/s10817-006-9057-7
Date:
October, 2006
File:
PDF, 942 KB
english, 2006