@misc{W63,
  urlDBLP = {https://dblp.org/rec/journals/flap/BenzmullerFMP19.html},
  Author =	 {Farjami, Ali and Meder, Paul and Parent, Xavier and
                  Benzm{\"u}ller, Christoph},
  Booktitle =	 {MIREL 2018},
  Keywords =	 {own, Input/Output Logic, Higher Order Logic,
                  Semantic Embedding, Automated Reasoning, General
                  Data Protection Regulation},
  Note =	 {MIREL 2018 workshop on MIning and REasoning with
                  Legal texts.},
  url = {http://orbilu.uni.lu/handle/10993/37013},
  Title =	 {{I/O} Logic in {HOL}},
  Year =	 2018,
  Pages =	 {1--18},
}

{"_id":"CPzptcbao7pqRKKDg","bibbaseid":"farjami-meder-parent-benzmller-iologicinhol-2018","author_short":["Farjami, A.","Meder, P.","Parent, X.","Benzmüller, C."],"bibdata":{"bibtype":"misc","type":"misc","urldblp":"https://dblp.org/rec/journals/flap/BenzmullerFMP19.html","author":[{"propositions":[],"lastnames":["Farjami"],"firstnames":["Ali"],"suffixes":[]},{"propositions":[],"lastnames":["Meder"],"firstnames":["Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Parent"],"firstnames":["Xavier"],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]}],"booktitle":"MIREL 2018","keywords":"own, Input/Output Logic, Higher Order Logic, Semantic Embedding, Automated Reasoning, General Data Protection Regulation","note":"MIREL 2018 workshop on MIning and REasoning with Legal texts.","url":"http://orbilu.uni.lu/handle/10993/37013","title":"I/O Logic in HOL","year":"2018","pages":"1–18","bibtex":"@misc{W63,\n urlDBLP = {https://dblp.org/rec/journals/flap/BenzmullerFMP19.html},\n Author =\t {Farjami, Ali and Meder, Paul and Parent, Xavier and\n Benzm{\\\"u}ller, Christoph},\n Booktitle =\t {MIREL 2018},\n Keywords =\t {own, Input/Output Logic, Higher Order Logic,\n Semantic Embedding, Automated Reasoning, General\n Data Protection Regulation},\n Note =\t {MIREL 2018 workshop on MIning and REasoning with\n Legal texts.},\n url = {http://orbilu.uni.lu/handle/10993/37013},\n Title =\t {{I/O} Logic in {HOL}},\n Year =\t 2018,\n Pages =\t {1--18},\n}\n\n","author_short":["Farjami, A.","Meder, P.","Parent, X.","Benzmüller, C."],"key":"W63","id":"W63","bibbaseid":"farjami-meder-parent-benzmller-iologicinhol-2018","role":"author","urls":{"Dblp":"https://dblp.org/rec/journals/flap/BenzmullerFMP19.html","Paper":"http://orbilu.uni.lu/handle/10993/37013"},"keyword":["own","Input/Output Logic","Higher Order Logic","Semantic Embedding","Automated Reasoning","General Data Protection Regulation"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"misc","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","input/output logic","higher order logic","semantic embedding","automated reasoning","general data protection regulation"],"search_terms":["logic","hol","farjami","meder","parent","benzmüller"],"title":"I/O Logic in HOL","year":2018,"downloads":1}