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