- Generating models of a matched formula with a polynomial delay2016 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay2016 | Matematicko-fyzikální fakulta
- Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- Generating clause sequences of a CNF formula2021 | Matematicko-fyzikální fakulta
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta