Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Farjami, AliAliFarjamiMeder, PaulPaulMederParent, XavierXavierParent2022-12-232022-12-2320192631-98292631-9810https://fis.uni-bamberg.de/handle/uniba/57402engI/O Logic in HOLarticlehttp://www.collegepublications.co.uk/downloads/ifcolog00034.pdf