Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings - Ramanujam, R.; Sarukkai, Sundar (Springer Berlin Heidelberg : Imprint: Springer, 2009)