T. Eiter, D. Sands, G. Sutcliffe, A. Voronkov (ed.):
"IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1";
EasyChair, 2017, ISSN: 2515-1762; 134 pages.
https://easychair.org/publications/volume/LPAR-21S