E Albert, L. Kovacs (ed.):
"Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)";
EasyChair EPiC Series in Computing, Alicante, Spain, 2020, ISSN: 2398-7340; 516 pages.
https://easychair.org/publications/volume/LPAR23