Jirí Hroza Jan Zizka Ales Bourek 511-520 2004 CICLing https://doi.org/10.1007/978-3-540-24630-5_64 conf/cicling/2004 db/conf/cicling/cicling2004.html#HrozaZB04