Decidability of Systems of Set Constraints With Negative Constraints

Information and Computation - United States
doi 10.1006/inco.1995.1139