Dependancy Pairs for Rewriting with Non-Free Constructors (2006)

by S Falke, D Kapur
Venue:In Proceedings of the 17th International Conference RTA, volume 4098 of LNCS