Wisniewski, MaxMaxWisniewskiSteen, AlexanderAlexanderSteenKern, KimKimKernBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932023-07-272023-07-272016978-3-319-40228-49783319402291https://fis.uni-bamberg.de/handle/uniba/89739engEffective Normalization Techniques for HOLconferenceobject10.1007/978-3-319-40229-1_25http://link.springer.com/content/pdf/10.1007/978-3-319-40229-1_25