# Theorem proving graph grammars with attributes and negative application conditions

> Research article (Theoretical Computer Science, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2622763796](https://www.wikidata.org/wiki/openalex:W2622763796)  
**Source**: https://4ort.xyz/entity/theorem-proving-graph-grammars-with-attributes-and-negative-application-conditions