Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang (Springer Berlin Heidelberg : Imprint: Springer, 2010)