Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers - Petrenko, Alexander K.; Petrenko, Alexander K.; Voronkov, Andrei; Voronkov, Andrei (Springer International Publishing : Imprint: Springer, 2018)