Jeny Jacob, Manoj Changat. Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. In Mohua Banerjee, A. V. Sreejith, editors, Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Volume 13963 of Lecture Notes in Computer Science, pages 117-129, Springer, 2023. [doi]
Abstract is missing.