TY  - RPRT
TI  - Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
AU  - Nicolas Behr
AU  - Reiko Heckel
AU  - Maryam Ghaffari Saadat
PY  - 2020
DO  - 10.4204/eptcs.330.8
UR  - https://arxiv.org/abs/2003.11010
ID  - 2003.11010
ER  -