Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. - Carter Bunch; Saraid Dwyer Satterfield; Serdar Erbatur; Andrew M. Marshall; Christophe Ringeissen (CoRR, 2024)