1. Anselmi, A., Cesare, S., Dionisio, S., Fasano, G., Massotti, L.: Control propellant minimization for the next generation gravity mission. In: Fasano, G., Pintér, J.D. (eds.) Modeling and Optimization in Space Engineering – State of the Art and New Challenges. Springer, New York (2019)
2. Cenzer, D., Remmel, J.B.: Complexity, decidability and completeness. J. Symb. Log. 71(2), 399–424 (2006)
3. Dasgupta, S., Papadimitriou, C., Vazirani, U.V.: Algorithms. McGraw Hill, Boston (2008)
4. Goldreich, O.: Computational Complexity: A Conceptual Perspective. Cambridge University Press, Cambridge (2008)
5. Harel, D., Feldman, Y.: Algorithmics: The Spirit of Computing. Addison-Wesley, Reading (2004)