Dexter Kozen
-
Set constraints with intersection
Information and Computation - Special issue: LICS'97