Grid structures and undecidable constraint theories

Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen. Grid structures and undecidable constraint theories. Theoretical Computer Science, 258(1-2):453-490, 2001. [doi]

Abstract

Abstract is missing.