# The New Rewriting Engine of Dedukti (System Description)

> Research article (DROPS (Schloss Dagstuhl – Leibniz Center for Informatics), 2020) · cited 10× · AI/ML

**Wikidata**: [openalex:W3037810651](https://www.wikidata.org/wiki/openalex:W3037810651)  
**Source**: https://4ort.xyz/entity/the-new-rewriting-engine-of-dedukti-system-description