-
BLAŤÁK, Jan a Lubomír POPELÍNSKÝ. Hledání maximálních častých vzorů v logice prvního řádu. In Sborník 3. ročníku konference Znalosti 2004. Ostrava: VŠB--Technická univerzita Ostrava, 2004, s. 362-373, 11 s. ISBN 80-248-0456-5.Podrobněji: https://is.muni.cz/publication/493167/cs