# Dependency pairs for proving termination properties of conditional term rewriting systems

> Research article (Journal of Logical and Algebraic Methods in Programming, 2016) · cited 13× · AI/ML

**Wikidata**: [openalex:W2333572417](https://www.wikidata.org/wiki/openalex:W2333572417)  
**Source**: https://4ort.xyz/entity/dependency-pairs-for-proving-termination-properties-of-conditional-term-rewriting-systems