- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- Approximating minimum representations of key Horn functions2020 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta