@inproceedings{behr2020c,
 author = {Behr, Nicolas and Heckel, Reiko and Ghaffari Saadat, Maryam},
 booktitle = {Proceedings of the {{Eleventh International Workshop}} on {{Graph Computation Models}}, {{Online-Workshop}}, 24th {{June}} 2020},
 doi = {10.4204/EPTCS.330.8},
 editor = {Hoffmann, Berthold and Minas, Mark},
 pages = {126--144},
 publisher = {Open Publishing Association},
 series = {Electronic {{Proceedings}} in {{Theoretical Computer Science}}},
 title = {Efficient {{Computation}} of {{Graph Overlaps}} for {{Rule Composition}}: {{Theory}} and {{Z3 Prototyping}}},
 volume = {330},
 year = {2020}
}