by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.