Jørgen Villadsen, Anders Schlichtkrull, Andreas Halkjær From. A Verified Simple Prover for First-Order Logic. In Boris Konev, Josef Urban, Philipp Rümmer, editors, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. Volume 2162 of CEUR Workshop Proceedings, pages 88-104, CEUR-WS.org, 2018. [doi]
@inproceedings{VilladsenSF18,
title = {A Verified Simple Prover for First-Order Logic},
author = {Jørgen Villadsen and Anders Schlichtkrull and Andreas Halkjær From},
year = {2018},
url = {http://ceur-ws.org/Vol-2162/paper-08.pdf},
researchr = {https://researchr.org/publication/VilladsenSF18},
cites = {0},
citedby = {0},
pages = {88-104},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018},
editor = {Boris Konev and Josef Urban and Philipp Rümmer},
volume = {2162},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}