Allan Cheng;Dexter Kozen
-;-
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Set constraints with projections
Journal of the ACM (JACM)