A finite graph representation for two-dimensional finite type constrained systems | IEEE Conference Publication | IEEE Xplore