Papacchini, F.,
Nalon, C.,
Hustadt, U. &
Dixon, C.,
7/07/2021,
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham:
Springer,
p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review