1. Avriel, M., Diewert, W.E., Schaible, S., Zang, I.: Generalized Concavity, vol. 63. SIAM, Philadelphia (2010)
2. Bang-Jensen, J., Gutin, G.Z.: Digraphs: Theory, Algorithms and Applications. Springer, Berlin (2007)
3. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, UK, vol. 13, p. 14 (2010)
4. Lecture Notes in Computer Science;N Bjørner,2015
5. Lecture Notes in Computer Science;J Bowles,2017