Seipp, J. and Helmert, M. (2013) “Counterexample-Guided Cartesian Abstraction Refinement”, Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), pp. 347-351. doi: 10.1609/icaps.v23i1.13605.