DMCA

Improved modular termination proofs using dependency pairs (2004)

by Rene ́ Thiemann , Peter Schneider-kamp
Venue:In Proc. 2nd IJCAR, volume 3097 of LNAI
Citations:29 - 8 self