Nalon, C.,
Hustadt, U.,
Papacchini, F. &
Dixon, C.,
2/09/2023,
Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham:
Springer,
p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review