Dependency pairs for equational rewriting, in (0)

by J Giesl, D Kapur
Venue:of Lecture Notes in Computer Science