You are about to access our book library "Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues) full version" .