Sergei N. Artëmov Howard Barringer Artur S. d'Avila Garcez Luís C. Lamb John Woods We Will Show Them! Essays in Honour of Dov Gabbay, Volume One College Publications 2005 1-904987-25-7 We Will Show Them! (1) db/conf/birthday/Gabbay1.html