Dependency Pairs for Rewriting with Non-free Constructors.

Stephan Falke, Deepak Kapur

Browse the full CADE paper archive.