Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers - Virbitskaite, Irina; Voronkov, Andrei (Springer Berlin Heidelberg, 2007)