M. De Vos, T. Eiter, Y. Lierler, F. Toni:
"Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)";
in series "CEUR Workshop Proceedings", series editor: M. De Vos, T. Eiter, Y. Lierler, F. Toni; CEUR-WS.org, 2015, ISSN: 1613-0073.