Chrpa, Lukáš, and Mauro Vallati. 2025. “Critical Section Macros - New Results (Extended Abstract)”. Proceedings of the International Symposium on Combinatorial Search 18 (1):255-56. https://doi.org/10.1609/socs.v18i1.36006.