@ARTICLE{
author={Lehnherr David,Ognjanovic Zoran D,Studer Thomas},
year={2022},
title={A logic of interactive proofs},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={32},
number={8},
pages={1645-1658},
document_type={Article},
}