Encoding

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2011). “Challenges in Answer Set Solving”. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Ed. by M. Balduccini and T. Son. Vol. 6565. Lecture Notes in Computer Science. Springer-Verlag, pp. 74-90. pdf
Kaminski, R., Romero, J., Schaub, T., and Wanko, P. (2023). “How to build your own ASP-based system?!” In: Theory and Practice of Logic Programming 23.1, pp. 299-361. pdf