Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday - Blass; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd (Springer International Publishing, 2020)