O. Betzalel, A. Felner, and S. Shimony, “Type System Based Rational Lazy IDA*”, SOCS, vol. 6, no. 1, pp. 151–155, Sep. 2021.