1. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., Wanko, P.: Train scheduling with hybrid ASP. In: LPNMR, pp. 3–17 (2019)
2. Abseher, M., Gebser, M., Musliu, N., Schaub, T., Woltran, S.: Shift design with answer set programming. FI 147(1), 1–25 (2016)
3. Balduccini, M.: Representing constraint satisfaction problems in answer set programming. In: ASPOCP, pp. 16–30 (2009)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Balduccini,2011
5. Banbara, M., Kaufmann, B., Ostrowski, M., Schaub, T.: Clingcon: the next generation. TPLP 17(4), 408–461 (2017)