I
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
From 22/05/2020 to 27/05/2020. Alicante, Spain
https://easychair.org/smart-program/LPAR23/index.html
Follow