Habilitační práce je komentovanýmn souborem pěti článků o různých vlastnostech Hornovských Booleavských formulí.
