Nevin Heintze, Joxan Jaffar. A Decision Procedure for a Class of Set Constraints (Extended Abstract). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 42-51, IEEE Computer Society, 1990.
Abstract is missing.