T. Eiter, D. Sands (ed.):
"LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46";
EasyChair EPiC Series in Computing, 2017, ISSN: 2398-7340.
https://easychair.org/publications/volume/LPAR-21S