Local Reasoning for Parameterized First Order Protocols. - Rylo Ashmore; Arie Gurfinkel; Richard J. Trefler (NFM, 2019)

Cuts, cats, and complete graphs. - Rylo Ashmore; Danny Dyer; Trent Marbach; Rebecca Milley (Theor. Comput. Sci., 2025)