You are about to access our book library "Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings (Lecture Notes in Computer Science Book 13963) full version" .