Logic and Its Applications : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings - Mohua Banerjee, Anil Seth ((Lecture Notes in Computer Science))