TY  - RPRT
TI  - Encoding Incremental NACs in Safe Graph Grammars using Complementation
AU  - Andrea Corradini
AU  - Maryam Ghaffari Saadat
AU  - Reiko Heckel
PY  - 2020
DO  - 10.4204/eptcs.330.6
UR  - https://arxiv.org/abs/2012.02192
ID  - 2012.02192
ER  -