Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.

Salvador Lucas, Jos Meseguer, Ral Gutirrez

Browse the full LOPSTR paper archive.