Betzalel, O.; Felner, A.; Shimony, S. Type System Based Rational Lazy IDA*. SOCS 2021, 6, 151-155.