Talk
April 14, 2005
Seminar in Mathematical Logic

Run-time Skolemization, and Variable Splitting