DMCA

Mechanizing and Improving Dependency Pairs (2006)

by Jürgen Giesl , René Thiemann , Stephan Falke
Venue:Journal of Automated Reasoning
Citations:100 - 38 self