@article{106365, author = {Martin Loebl}, title = {Hercules and Hydra, a game on rooted finite trees}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {026}, year = {1985}, pages = {259-267}, zbl = {0565.90090}, mrnumber = {803922}, language = {en}, url = {http://dml.mathdoc.fr/item/106365} }
Loebl, Martin. Hercules and Hydra, a game on rooted finite trees. Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985) pp. 259-267. http://gdmltest.u-ga.fr/item/106365/
Accessible independence results for Peano Arithmetic;, Bulletin of the London Math. Soc. 14 (1982). (1982) | MR 0663480
Honza a drak;, SVOČ 1984. (1984)
Some non standard Ramsey-like applications;, Theoret. Comp. Science, 1984. (1984)