Monadic second-order logic and hypergraph orientation | IEEE Conference Publication | IEEE Xplore