Brysen Pfingsten, Jason Hemann. A Fine-Grained Small-Step Semantics for Interleaving Search. In Michael Sperber, Ekaterina Komendantskaya, editors, Functional and Logic Programming - 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings. Volume 16533 of Lecture Notes in Computer Science, pages 139-155, Springer, 2026. [doi]
Abstract is missing.