Alexander Aiken, Dexter Kozen, Edward L. Wimmers. Decidability of Systems of Set Constraints with Negative Constraints. Inf. Comput., 122(1):30-44, October 1995.
@article{AikenKW95,
title = {Decidability of Systems of Set Constraints with Negative Constraints},
author = {Alexander Aiken and Dexter Kozen and Edward L. Wimmers},
year = {1995},
month = {October},
tags = {constraints},
researchr = {https://researchr.org/publication/AikenKW95},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {122},
number = {1},
pages = {30-44},
}