1. HPP DLV encoding. https://asparagus.cs.uni-potsdam.de/encoding/show/id/3491
2. Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., Wanko, P.: Train scheduling with hybrid answer set programming. CoRR abs/2003.08598 (2020). https://arxiv.org/abs/2003.08598
3. Abseher, M., Gebser, M., Musliu, N., Schaub, T., Woltran, S.: Shift design with answer set programming. Fundam. Inf. 147, 1–25 (2016)
4. Adrian, W.T., et al.: The ASP system DLV: advancements and applications. KI - Künstl. Intell. 32, 177–179 (2018). https://doi.org/10.1007/s13218-018-0533-0
5. Alviano, M., Calimeri, F., Dodaro, C., Fuscà, D., Leone, N., Perri, S., Ricca, F., Veltri, P., Zangari, J.: The asp system dlv2. In: Balduccini, M., Janhunen, T. (eds.) Logic Program. Nonmonotonic Reason., pp. 215–221. Springer International Publishing, Cham (2017)