Mario Alviano, Carmine Dodaro, Marco Maratea. An Advanced Answer Set Programming Encoding for Nurse Scheduling. In Floriana Esposito, Roberto Basili 0001, Stefano Ferilli, Francesca A. Lisi, editors, AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Volume 10640 of Lecture Notes in Computer Science, pages 468-482, Springer, 2017. [doi]