Chrpa, L., & Vallati, M. (2025). Critical Section Macros - New Results (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search, 18(1), 255–256. https://doi.org/10.1609/socs.v18i1.36006