Termination of Term Rewriting Using Dependency Pairs (2000)

by Thomas Arts , Jürgen Giesl
Venue:Comput. Sci
Citations:210 - 46 self