Xavier Parent, Christoph Benzmüller. Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. In Christoph Benzmüller, Jens Otten, editors, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. Volume 2095 of CEUR Workshop Proceedings, pages 92-108, CEUR-WS.org, 2022. [doi]
@inproceedings{ParentB22,
title = {Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results},
author = {Xavier Parent and Christoph Benzmüller},
year = {2022},
url = {http://ceur-ws.org/Vol-3326/ARQNL2022_paper6.pdf},
researchr = {https://researchr.org/publication/ParentB22},
cites = {0},
citedby = {0},
pages = {92-108},
booktitle = {Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018},
editor = {Christoph Benzmüller and Jens Otten},
volume = {2095},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}