@phdthesis(HorakPhD2002,
    author	= "Hor\'ak, Ale\v{s}",
    title       = "The Normal Translation Algorithm in Transparent Intensional
                   Logic for Czech",
    school      = "Faculty of Informatics, Masaryk University",
    address     = "Brno, Czech Republic",
    year	= 2002
)