Bresina, J. Activity Planning for a Lunar Orbital Mission. AAAI 2015, 29, 3887-3895.