No. 32 (1994): RS-32 Decidability of Systems of Set Constraints with Negative Constraints

Published: 1994-10-13

Articles