Decidability of Systems of Set Constraints with Negative Constraints (1994)

by Alexander Aiken , Dexter Kozen , Ed Wimmers
Venue:INFORMATION AND COMPUTATION
Citations:52 - 9 self