In the Head of the Beholder: Comparing Different Proof Representations

@inproceedings{pub14696,
    author = {

Alrabbaa, Christian
 and 

Borgwardt, Stefan
 and 

Hirsch, Anke
 and 

Knieriemen, Nina
 and 

Kovtunova, Alisa
 and 

Rothermel, Anna Milena
 and 

Wiehr, Frederik
},
    editor = {

Governatori, Guido
 and 

Turhan, Anni-Yasmin
},
    title = {In the Head of the Beholder: Comparing Different Proof Representations},
    booktitle = {Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham},
    year = {2022},
    pages = {211--226},
    publisher = {Springer International Publishing},
    isbn = {978-3-031-21541-4}
}