The 28th international conference on automated deduction

@PROCEEDINGS{DBLP:conf/cade/2021,

  editor    = {Andr{\'{e}} Platzer and
               Geoff Sutcliffe},
  longtitle = {Automated Deduction - {CADE}-28, 28th
                International Conference
               on Automated Deduction, Pittsburgh, USA,
               July 12-15, 2021, Proceedings},
  title     = {The 28th International Conference on Automated Deduction},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {12699},
  year      = {2021},
  address   = {},
  isbn      = {978-3-030-79875-8},
  doi       = {10.1007/978-3-030-79876-5},
}```