Termination of Term Rewriting Using Dependency Pairs (2000)

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