- Hall's Marriage Theorem, Its Applications and History2018 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Faculty of Mathematics and Physics
- Generating models of a matched formula with a polynomial delay2016 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas2014 | Faculty of Mathematics and Physics