Policella, N., Oliveira, H. and Benzi, E. (2013) “Planning Spacecraft Activities: An Automated Approach”, Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), pp. 407–415. doi: 10.1609/icaps.v23i1.13584.