Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings (2020)