Parent, XavierXavierParentBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932023-01-132023-01-1320231613-0073https://fis.uni-bamberg.de/handle/uniba/57613engAutomated Verification of Deontic Correspondences in Isabelle/HOL : First Resultsconferenceobjecthttps://ceur-ws.org/Vol-3326/ARQNL2022_paper6.pdfurn:nbn:de:0074-3326-4