Theorem proving graph grammars with attributes and negative application conditions
Research article (Theoretical Computer Science, 2017) · cited 11× · AI/ML