Luca Mondada Pablo Andrés-Martínez Scalable Pattern Matching in Computation Graphs. GCM 2024 71-95 journals/corr/abs-2503-19632 https://doi.org/10.4204/EPTCS.417.5 https://doi.org/10.48550/arXiv.2402.13065 db/series/eptcs/eptcs417.html#abs-2402-13065