Reiche, SebastianSebastianReicheBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-212022-09-212020https://fis.uni-bamberg.de/handle/uniba/55641engPublic Announcement Logic in HOLpreprint10.48550/ARXIV.2010.00810https://arxiv.org/abs/2010.00810