M. Terra-Neves, J. Amaral, A. Lemos, R. Quintino, P. Resende, and A. Alegria, “SAT-Based Algorithms for Regular Graph Pattern Matching”, AAAI, vol. 38, no. 8, pp. 8136-8145, Mar. 2024.