You are about to access our book library "Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings (Theoretical Computer Science and General Issues) full version" .