The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
scientific article; zbMATH DE number 6881616
scientific article