You are about to access our book library "Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings (Lecture Notes in Computer Science, 6521) full version" .