@article{J46,
  Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Paul
                  Meder 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 =	 {{I/O} Logic in {HOL}},
  Pages =	 {715--732},
  Volume =	 6,
  Number =	 5,
  url_preprint = {https://www.researchgate.net/publication/332786587},
  Url =
                  {https://www.collegepublications.co.uk/ifcolog/?00034},
  Year =	 2019,
}

{"_id":"nssTxhcaGFDG4zuva","bibbaseid":"benzmller-farjami-meder-parent-iologicinhol-2019","author_short":["Benzmüller, C.","Farjami, A.","Meder, P.","Parent, X."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Farjami"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Meder"],"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":"I/O Logic in HOL","pages":"715–732","volume":"6","number":"5","url_preprint":"https://www.researchgate.net/publication/332786587","url":"https://www.collegepublications.co.uk/ifcolog/?00034","year":"2019","bibtex":"@article{J46,\n Author =\t {Christoph Benzm{\\\"u}ller and Ali Farjami and Paul\n Meder and Xavier 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 {{I/O} Logic in {HOL}},\n Pages =\t {715--732},\n Volume =\t 6,\n Number =\t 5,\n url_preprint = {https://www.researchgate.net/publication/332786587},\n Url =\n {https://www.collegepublications.co.uk/ifcolog/?00034},\n Year =\t 2019,\n}\n\n","author_short":["Benzmüller, C.","Farjami, A.","Meder, P.","Parent, X."],"editor_short":["Robaldo, L.","van der Torre, L."],"key":"J46","id":"J46","bibbaseid":"benzmller-farjami-meder-parent-iologicinhol-2019","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/332786587","Paper":"https://www.collegepublications.co.uk/ifcolog/?00034"},"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["logic","hol","benzmüller","farjami","meder","parent"],"title":"I/O Logic in HOL","year":2019,"downloads":4}