APA-Zitierstil (7. Ausg.)

Behr, N., Heckel, R., & Saadat, M. G. (2020, December 3). Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping. arXiv.org. https://doi.org/10.48550/arxiv.2003.11010

Chicago-Zitierstil (17. Ausg.)

Behr, Nicolas, Reiko Heckel, und Maryam Ghaffari Saadat. "Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping." ArXiv.org 3 Dec. 2020. https://doi.org/10.48550/arxiv.2003.11010.

MLA-Zitierstil (9. Ausg.)

Behr, Nicolas, et al. "Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping." ArXiv.org, 3 Dec. 2020, https://doi.org/10.48550/arxiv.2003.11010.