# Fault trees on a diet: automated reduction by graph rewriting

> Research article (Formal Aspects of Computing, 2017) · cited 22× · AI/ML

**Wikidata**: [openalex:W2192694265](https://www.wikidata.org/wiki/openalex:W2192694265)  
**Source**: https://4ort.xyz/entity/fault-trees-on-a-diet-automated-reduction-by-graph-rewriting