Modelling the US Constitution to establish constitutional dictatorship (bibtex)
by Valeria Zahoransky, Christoph Benzmüller
Reference:
Modelling the US Constitution to establish constitutional dictatorship (Valeria Zahoransky, Christoph Benzmüller), In MIREL Workshop 2019, CEUR Workshop Proceedings, pp. 1--13, 2020. (Preprint: http://christoph-benzmueller.de/papers/C79.pdf)
Bibtex Entry:
@InProceedings{C79,
  Keywords =	 {own, Automated Reasoning,  Higher Order
                  Logic, Legal Reasoning, Formal Methods},
  Author =	 {Valeria Zahoransky and Christoph Benzm\"uller},
  title = 	 {Modelling the US Constitution to establish constitutional dictatorship},
  booktitle =    {MIREL Workshop 2019},
  year = 	 2020,
  publisher =    {CEUR Workshop Proceedings},
  addendum = {To appear},
  pages = {1--13},
  Addendum = {Preprint: \url{http://christoph-benzmueller.de/papers/C79.pdf}},
}