Talk
January 18, 2008 at 10:15
Logic Seminar, University of Oslo

Variable Splitting for Automated Reasoning