Betzalel, Oded, Ariel Felner, and Solomon Shimony. 2021. “Type System Based Rational Lazy IDA*”. Proceedings of the International Symposium on Combinatorial Search 6 (1):151-55. https://doi.org/10.1609/socs.v6i1.18374.