BibTeX:
@inproceedings{MichaelisN-TYPES17,
  author    = {Julius Michaelis and Tobias Nipkow},
  title     = {Formalized Proof Systems for Propositional Logic},
  booktitle = {23rd Int.\ Conf.\ Types for Proofs and Programs (TYPES 2017)},
  editor    = {A. Abel and F. Nordvall Forsberg and A. Kaposi},
  series    = {LIPIcs},
  volume    = {104},
  pages     = {6:1--6:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018}
}
DOI