An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree.
Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt
Browse the full LICS paper archive.
Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt
Browse the full LICS paper archive.