Chrpa, Lukáš, and Mauro Vallati. “Critical Section Macros - New Results (Extended Abstract)”. Proceedings of the International Symposium on Combinatorial Search 18, no. 1 (July 20, 2025): 255–256. Accessed May 12, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/36006.