@incollection{aiken:kozen:vardi:wimmers:94,
    Author = {Aiken, Alexander and Kozen, Dexter and Vardi, Moshe and Wimmers, Ed},
    BookTitle = {Computer Science Logic},
    Editor = {B{\"o}rger, Egon and Gurevich, Yuri and Meinke, Karl},
    File = {The complexity of set constraints - Aiken, Kozen, Vardi, Wimmers (0) (0) - a - a - b.pdf},
    ISBN = {978-3-540-58277-9},
    Keywords = {set constraints},
    Pages = {1-17},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {The complexity of set constraints},
    URL = {http://dx.doi.org/10.1007/BFb0049320},
    Volume = {832},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0049320},
    date-added = {2013-07-17 13:02:52 +0000},
    date-modified = {2013-07-17 13:03:53 +0000},
    doi = {10.1007/BFb0049320}
}

@incollection{aiken:kozen:vardi:wimmers:94, Author = {Aiken, Alexander and Kozen, Dexter and Vardi, Moshe and Wimmers, Ed}, BookTitle = {Computer Science Logic}, Editor = {B{\"o}rger, Egon and Gurevich, Yuri and Meinke, Karl}, File = {The complexity of set constraints - Aiken, Kozen, Vardi, Wimmers (0) (0) - a - a - b.pdf}, ISBN = {978-3-540-58277-9}, Keywords = {set constraints}, Pages = {1-17}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {The complexity of set constraints}, URL = {http://dx.doi.org/10.1007/BFb0049320}, Volume = {832}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0049320}, date-added = {2013-07-17 13:02:52 +0000}, date-modified = {2013-07-17 13:03:53 +0000}, doi = {10.1007/BFb0049320} }