- Generating Models of a Matched Formula With a Polynomial Delay2016 | Faculty of Mathematics and Physics
- Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)2017 | Faculty of Mathematics and Physics
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Faculty of Mathematics and Physics