Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen. Tarskian Set Constraints. Inf. Comput., 174(2):105-131, 2002. [doi]
@article{GivanMWK02,
title = {Tarskian Set Constraints},
author = {Robert Givan and David A. McAllester and Carl Witty and Dexter Kozen},
year = {2002},
url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.2973},
tags = {constraints},
researchr = {https://researchr.org/publication/GivanMWK02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {174},
number = {2},
pages = {105-131},
}