Talk
January 17, 2007
Alta Logic and Computation Workshop, Alta

The Theory of Liberalized Variable Splitting