DMCA

Termination of Term Rewriting Using Dependency Pairs (2000)

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