Download Logic And Its Applications: 7Th Indian Conference, Icla 2017, Kanpur, India, January 5 7, 2017, Proceedings 2017