KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT. - BUNCH, CARTER; SATTERFIELD, SARAID DWYER; ERBATUR, SERDAR; MARSHALL, ANDREW M.; RINGEISSEN, CHRISTOPHE (Logical Methods in Computer Science (LMCS), 2026)