Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Voronkov, Andrei; Virbitskaite, Irina (Springer Berlin Heidelberg : Imprint: Springer, 2015)