Ryo Takemura, Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization, Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp.