G. Fan and R. Holte, “The Spurious Path Problem in Abstraction”, SOCS, vol. 6, no. 1, pp. 18–27, Sep. 2021.