DMCA

AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework (2006)

by Jürgen Giesl , Peter Schneider-kamp , René Thiemann
Venue:In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR ’06
Citations:118 - 27 self