A decision procedure for a decidable fragment of generalized constraint diagrams

Jim Burton, Gem Stapleton, Ali Hamie. A decision procedure for a decidable fragment of generalized constraint diagrams. Journal of Computer Languages, 22(1):90-105, 2011. [doi]

Abstract

Abstract is missing.