@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},
}