M. Holkovic, L. Polcák, and O. Rysavý. ICETE (Selected Papers), volume 1247 of Communications in Computer and Information Science, page 3-28. Springer, (2019)
L. Polcak, M. Holkovic, and P. Matousek. ICETE (Selected Papers), volume 456 of Communications in Computer and Information Science, page 74-89. Springer, (2013)