IJCAR 2022: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING 2022
Workshops