On the expression of monadic second-order graph properties without quantifications over sets of edges | IEEE Conference Publication | IEEE Xplore