Reiche, SebastianSebastianReicheBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-222022-09-222020978-3-030-65840-3978-3-030-65839-7https://fis.uni-bamberg.de/handle/uniba/55667engPublic Announcement Logic in HOLconferenceobject10.1007/978-3-030-65840-3_14https://link.springer.com/book/10.1007/978-3-030-65840-3