Mohua Banerjee, A. V. Sreejith: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Lecture Notes in Computer Science 13963, Springer 2023, ISBN 978-3-031-26688-1