A Collection of Examples for Termination of Term Rewriting Using Dependency Pairs (2001)

by Thomas Arts , Jürgen Giesl
Citations:26 - 11 self