The 28th international conference on automated deduction

@proceedings{DBLP:conf/cade/2021,
	editor = {['André Platzer', '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}
}