You are about to access our book library "Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings (Lecture Notes in Computer Science Book 5378) full version" .