Human-Centered Automated Proof Search. - Sieg, Wilfried; Derakhshan, Farzaneh (Journal of Automated Reasoning, 2021)