Eifler, R. and Fickert, M. (2021) “Online Refinement of Cartesian Abstraction Heuristics”, Proceedings of the International Symposium on Combinatorial Search, 9(1), pp. 46–54. doi: 10.1609/socs.v9i1.18447.