Tarskian Set Constraints (1996)

by Robert Givan , Dexter Kozen , David McAllester , Carl Witty
Venue:IN PROCEEDINGS, 11 TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:25 - 0 self