1. 48. Weinzierl, A. 2013. Learning non-ground rules for answer-set solving. In 2nd Workshop on Grounding and Transformations for Theories With Variables. 25–37.
2. 43. Redl, C. 2016. Automated benchmarking of KR-systems. In RCRA@AI*IA. CEUR Workshop Proceedings, vol. 1745. CEUR-WS.org, 45–56.
3. 9. Biere, A. and Fröhlich, A. 2018. Evaluating CDCL restart schemes. In POS@SAT. EPiC Series in Computing, vol. 59. EasyChair, 1–17.
4. The third open answer set programming competition;Calimeri;Theory Pract. Log. Program. 14,,2014