# A partial evaluation framework for order-sorted equational programs modulo axioms

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

**Wikidata**: [openalex:W2986833796](https://www.wikidata.org/wiki/openalex:W2986833796)  
**Source**: https://4ort.xyz/entity/a-partial-evaluation-framework-for-order-sorted-equational-programs-modulo-axioms