@Journal article{002864873, author = "Kratochvil, AntonĂn,", title = "P. Jan Dokulil ", publisher = "", year = "" }