Nilsson, M., Kvarnström, J. and Doherty, P. (2014) “EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm”, Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), pp. 199–207. doi: 10.1609/icaps.v24i1.13646.