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