# Deciding and Interpolating Algebraic Data Types by Reduction

> Research article (2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017) · cited 17× · AI/ML

**Wikidata**: [openalex:W2900560136](https://www.wikidata.org/wiki/openalex:W2900560136)  
**Source**: https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction