Petr Plecháč, Robert Kolár. Formal Methods in Czech Theory of Verse
Trudy IRY RAS. 2017. № 1 (11), Pages. 31 - 43