Special Issue of Selected Extended Papers of IJCAR 2020. - Peltier, Nicolas; Sofronie-Stokkermans, Viorica (J. Autom. Reason., 2022)