Journal Article
Matúš František
: Theoretical Computer Science vol.134, p. 455-471
: 27569, GA AV
: 12B