@article{J45,
  Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Xavier
                  Parent},
  Journal =	 {Journal of Applied Logics -- IfCoLoG Journal of
                  Logics and their Applications (Special Issue:
                  Reasoning for Legal AI)},
  Editor =	 {Robaldo, Livio and van der Torre, Leon},
  Title =	 {{{\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},
  Volume =	 6,
  Number =	 5,
  Pages =	 {733--755},
  url_preprint = {https://www.researchgate.net/publication/332786724},
  Url =
                  {https://www.collegepublications.co.uk/ifcolog/?00034},
  Year =	 2019,
}

{"_id":"jF4wtB5tZLYW9zzna","bibbaseid":"benzmller-farjami-parent-qvistsdyadicdeonticlogiceinhol-2019","author_short":["Benzmüller, C.","Farjami, A.","Parent, X."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Farjami"],"suffixes":[]},{"firstnames":["Xavier"],"propositions":[],"lastnames":["Parent"],"suffixes":[]}],"journal":"Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI)","editor":[{"propositions":[],"lastnames":["Robaldo"],"firstnames":["Livio"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Torre"],"firstnames":["Leon"],"suffixes":[]}],"title":"Åqvist's Dyadic Deontic Logic E in HOL","volume":"6","number":"5","pages":"733–755","url_preprint":"https://www.researchgate.net/publication/332786724","url":"https://www.collegepublications.co.uk/ifcolog/?00034","year":"2019","bibtex":"@article{J45,\n Author =\t {Christoph Benzm{\\\"u}ller and Ali Farjami and Xavier\n Parent},\n Journal =\t {Journal of Applied Logics -- IfCoLoG Journal of\n Logics and their Applications (Special Issue:\n Reasoning for Legal AI)},\n Editor =\t {Robaldo, Livio and van der Torre, Leon},\n Title =\t {{{\\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},\n Volume =\t 6,\n Number =\t 5,\n Pages =\t {733--755},\n url_preprint = {https://www.researchgate.net/publication/332786724},\n Url =\n {https://www.collegepublications.co.uk/ifcolog/?00034},\n Year =\t 2019,\n}\n\n","author_short":["Benzmüller, C.","Farjami, A.","Parent, X."],"editor_short":["Robaldo, L.","van der Torre, L."],"key":"J45","id":"J45","bibbaseid":"benzmller-farjami-parent-qvistsdyadicdeonticlogiceinhol-2019","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/332786724","Paper":"https://www.collegepublications.co.uk/ifcolog/?00034"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["qvist","dyadic","deontic","logic","hol","benzmüller","farjami","parent"],"title":"Åqvist's Dyadic Deontic Logic E in HOL","year":2019}