%0 Conference Proceedings
%F akvw93
%A Aiken, Alexander
%A Kozen, Dexter
%A Vardi, Moshe
%A Wimmers, Ed
%T The Complexity of Set Constraints
%B Proc. 1993 Conf. Computer Science Logic (CSL)
%8 September
%D 1993
%K parametricity