Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings - R. Ramanujam, Sundar Sarukkai ((Lecture Notes in Computer Science))