Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers - Irina Virbitskaite, Andrei Voronkov ((Lecture Notes in Computer Science))