Roland Carl Backhouse Diethard Michaelis Exercises in Quantifier Manipulation. 69-81 2006 conf/mpc/2006 MPC http://dx.doi.org/10.1007/11783596_7 db/conf/mpc/mpc2006.html#BackhouseM06