An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree. - Lucas Heimberg; Dietrich Kuske; Nicole Schweikardt (LICS, 2013)

Preservation and decomposition theorems for bounded degree structures. - Frederik Harwath; Lucas Heimberg; Nicole Schweikardt (Log. Methods Comput. Sci., 2015)

Hanf normal form for first-order logic with unary counting quantifiers. - Lucas Heimberg; Dietrich Kuske; Nicole Schweikardt (LICS, 2016)

An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree. - André Frochaux; Lucas Heimberg (CoRR, 2018)

Complexity of Normal Forms on Structures of Bounded Degree - Lucas Heimberg (2018)