@techreport{R78,
  Author =	 {Benzm{\"u}ller, Christoph and Reiche, Sebastian},
  Keywords =	 {own, Higher Order Logic, Hintikka Sets, Completeness Proofs},
  Title =	 {Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of {HOL} in {LogiKEy}},
  Institution =	 {CoRR},
  Number =       {arXiv:2111.01654},
  eprint =       {2111.01654},
  Addendum =	 {\url{https://arxiv.org/abs/2111.01654}},
  Url =		 {https://arxiv.org/abs/2004.07506},
  Year =	 2021
}

@InProceedings{C90,
  Keywords =	 {own, Artificial Intelligence, Non-Classical Logics},
  Author =	 {Sebastian Reiche and Christoph Benzm{\"u}ller},
  Title =        {Public Announcement Logic in {HOL}},
  Addendum =	 {Preprint: \url{https://arxiv.org/abs/2010.00810}},
  Url =   {https://doi.org/10.1007/978-3-030-65840-3_14},
  Doi =   {10.1007/978-3-030-65840-3_14},
  Booktitle = {Dynamic Logic. New Trends and Applications. DaLi 2020},
  editor    = {Martins, Manuel A. and Sedl\'{a}r Igor},
  series    = {Lecture Notes in Computer Science},
  volume    = {12569},
  publisher = {Springer, Cham},
  year      = 2020,
  isbn      = {978-3-030-65839-7},
}

@article{J41,
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal (Meta-)Logical Reasoning: Recent
                  Successes},
  journal =	 {Science of Computer Programming},
  year =	 2019,
  volume =	 172,
  pages =	 {48-62},
  Addendum =	 {Preprint:
                  \url{http://doi.org/10.13140/RG.2.2.11039.61609/2}},
  doi =		 {10.1016/j.scico.2018.10.008},
}

@article{J44,
  Author =	 {Christoph Benzm\"uller},
  Journal =	 {Data in Brief},
  Keywords =	 {own, Universal Logical Reasoning},
  Addendum =	 {Note: data publication},
  Title =	 {Universal (Meta-)Logical Reasoning: The Wise Men Puzzle ({Isabelle/HOL Dataset})},
  Year =	 2019,
  Volume =       24,
  Pages =        {1--5},
  Number =       103823,
  OptAddendum = {Open Access},
  Doi =  {10.1016/j.dib.2019.103823},
}