TY  - RPRT
TI  - Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
AU  - Carter Bunch
AU  - Saraid Dwyer Satterfield
AU  - Serdar Erbatur
AU  - Andrew M. Marshall
AU  - Christophe Ringeissen
PY  - 2026
DO  - 10.46298/lmcs-22(2:15)2026
UR  - https://arxiv.org/abs/2401.17226
ID  - 2401.17226
ER  -