%0 Conference Paper %1 conf/arcade/RawsonR21 %A Rawson, Michael %A Reger, Giles %B ARCADE@CADE %D 2021 %E Suda, Martin %E Winkler, Sarah %K dblp %P 1-10 %T On Evaluating Theorem Provers. %U http://dblp.uni-trier.de/db/conf/arcade/arcade2021.html#RawsonR21

@inproceedings{conf/arcade/RawsonR21, added-at = {2023-02-01T00:00:00.000+0100}, author = {Rawson, Michael and Reger, Giles}, biburl = {https://www.bibsonomy.org/bibtex/260229a73db35708b255daeff1c9c7d9f/dblp}, booktitle = {ARCADE@CADE}, crossref = {conf/arcade/2021}, editor = {Suda, Martin and Winkler, Sarah}, ee = {http://cl-informatik.uibk.ac.at/users/swinkler/arcade2021/pdfs/5.pdf}, interhash = {083e8f2f8cd0bf55167b81f3877a605a}, intrahash = {60229a73db35708b255daeff1c9c7d9f}, keywords = {dblp}, pages = {1-10}, timestamp = {2024-04-09T19:05:29.000+0200}, title = {On Evaluating Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/arcade/arcade2021.html#RawsonR21}, year = 2021 }