R. Korf, “How Do You Know Your Search Algorithm and Code Are Correct?”, SOCS, vol. 5, no. 1, pp. 200–201, Sep. 2021.