Oded Betzalel, Ariel Felner, Solomon Eyal Shimony. Type System Based Rational Lazy IDA. In Levi Lelis, Roni Stern, editors, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. pages 151-155, AAAI Press, 2015. [doi]
Abstract is missing.