The complexity of set constraints (1994)

by Alexander Aiken, Dexter Kozen, Moshe Y Vardi, Edward L Wimmers
Venue:In CSL