Joseph Livesey, Dominik Wojtczak. Minimal Number of Calls in Propositional Protocols. In Paul C. Bell, Patrick Totzke, Igor Potapov, editors, Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. Volume 13035 of Lecture Notes in Computer Science, pages 132-148, Springer, 2021. [doi]
Abstract is missing.