First-Order and Monadic Second-Order Model-Checking on Ordered Structures | IEEE Conference Publication | IEEE Xplore