%0 Conference Proceedings %F aiken1994complexity %A Aiken, A. %A Kozen, D. %A Vardi, M. %A Wimmers, E. %T The complexity of set constraints %B Computer Science Logic %P 1-17 %D 1994 %K algexp