- N. Pelov and E. Ternovska. 2005. Reducing Inductive Definitions to Propositional Satisfiability. In Proceedings of 21st International Conference on Logic Programming (ICLP), pages 221-234. Available as a PDF file.
- N. Pelov, M. Denecker, and M. Bruynooghe. 2007. Well-founded and Stable Semantics of Logic Programs with Aggregates. Theory and Practice of Logic Programming 7(3):301-353. Avaliable in CoRR as cs.LO/0509024.