D. Gnad, S. Sievers, and Álvaro Torralba, “Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases”, ICAPS, vol. 33, no. 1, pp. 138-147, Jul. 2023.