1. Balduccini M, Lierler Y (2017) Constraint answer set solver EZCSP and why integration schemas matter. TPLP 17(4):462–515
2. Banbara M, Kaufmann B, Ostrowski M, Schaub T (2017) Clingcon: the next generation. TPLP 17(4):408–461
3. Biere A, Heule M, van Maaren H, Walsh T (eds) (2009) Handbook of satisfiability. Frontiers in artificial intelligence and applications, vol 185. IOS Press, Amsterdam
4. Bomanson J, Gebser M, Janhunen T, Kaufmann B, Schaub T (2016) Answer set programming modulo acyclicity. Fundamenta Informaticae 147(1):63–91
5. Brewka G, Eiter T, Truszczyński M (2011) Answer set programming at a glance. Commun ACM 54(12):92–103