Kammüller, F.F.KammüllerWenzel, M.M.WenzelPaulson, L.C.L.C.Paulson2022-03-092022-03-091999https://publica.fraunhofer.de/handle/publica/33429810.1007/3-540-48256-3_11en004006400Locales - A Sectioning Concept for Isabelleconference paper