by Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Reference:
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)Michael Rawson, Martin Suda, Petra Hozzová, Giles RegerProceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022 (Boris Konev, Claudia Schon, Alexander Steen, eds.), volume 3201 of CEUR Workshop Proceedings, 2022, CEUR-WS.org.
Bibtex Entry:
@inproceedings{RawSudHozReg22,
author = {Michael Rawson and
Martin Suda and
Petra Hozzov{\'{a}} and
Giles Reger},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {http://ceur-ws.org/Vol-3201/paper10.pdf},
timestamp = {Mon, 26 Sep 2022 17:09:13 +0200},
biburl = {https://dblp.org/rec/conf/paar/Rawson0HR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}