DMCA

Modularity of Termination Using Dependency Pairs (1997)

by Thomas Arts , Jürgen Giesl
Venue:PROC. 9TH RTA
Citations:18 - 10 self