APA (7th ed.) Citation

BUNCH, C., SATTERFIELD, S. D., ERBATUR, S., MARSHALL, A. M., & RINGEISSEN, C. (2026). KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT. Logical Methods in Computer Science (LMCS), 22(2), 1. https://doi.org/10.46298/LMCS-22(2:15)2026

Chicago Style (17th ed.) Citation

BUNCH, CARTER, SARAID DWYER SATTERFIELD, SERDAR ERBATUR, ANDREW M. MARSHALL, and CHRISTOPHE RINGEISSEN. "KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT." Logical Methods in Computer Science (LMCS) 22, no. 2 (2026): 1. https://doi.org/10.46298/LMCS-22(2:15)2026.

MLA (9th ed.) Citation

BUNCH, CARTER, et al. "KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT." Logical Methods in Computer Science (LMCS), vol. 22, no. 2, 2026, p. 1, https://doi.org/10.46298/LMCS-22(2:15)2026.