Exercises in Quantifier Manipulation.

Roland Carl Backhouse, Diethard Michaelis

Browse the full MPC paper archive.