Antonin Kucera Masaryk Univeristy, Czech Republic Journal Fundamenta Informaticae ISSN: 01692968 Read Online