Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings - Kamal Lodaya ((Lecture Notes in Computer Science))