Termination of Term Rewriting Using Dependency Pairs (2000)

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