Fan, Gaojian, and Robert Holte. 2021. “The Spurious Path Problem in Abstraction”. Proceedings of the International Symposium on Combinatorial Search 6 (1):18-27. https://doi.org/10.1609/socs.v6i1.18356.