A monadic second-order definition of the structure of convex hypergraphs.
scientific article; zbMATH DE number 1964171