The power of non-ground rules in Answer Set Programming. - Manuel Bichler; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2016)

Single-Shot Epistemic Logic Program Solving. - Manuel Bichler; Michael Morak; Stefan Woltran (IJCAI, 2018)

lpopt: A Rule Optimization Tool for Answer Set Programming. - Manuel Bichler; Michael Morak; Stefan Woltran (Fundam. Informaticae, 2020)

selp: A Single-Shot Epistemic Logic Program Solver. - Manuel Bichler; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2020)