Tarskian Set Constraints.

David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen

Browse the full LICS paper archive.