Online Library TheLib.net » Book serie: / Книги серии: Logical Methods in Computer Science Volume 10 Issue 1