In the Head of the Beholder: Comparing Different Proof Representations
Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr
In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.