Marco Gavanelli and John H. Logic, Language and Computation, University of Amsterdam, 2015. Kameyama, Oleg Kiselyov, and Chung-chieh Shan. Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, and Chung-chieh Shan. Karim, Mohan Dhawan, Vinod Ganapathy, and Chung-chieh Shan.