APA (7th ed.) Citation

CERNA, D. M., & PARSERT, J. (2026). ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES. Logical Methods in Computer Science (LMCS), 22(2), 1. https://doi.org/10.46298/LMCS-22(2:3)2026

Chicago Style (17th ed.) Citation

CERNA, DAVID M., and JULIAN PARSERT. "ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES." Logical Methods in Computer Science (LMCS) 22, no. 2 (2026): 1. https://doi.org/10.46298/LMCS-22(2:3)2026.

MLA (9th ed.) Citation

CERNA, DAVID M., and JULIAN PARSERT. "ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES." Logical Methods in Computer Science (LMCS), vol. 22, no. 2, 2026, p. 1, https://doi.org/10.46298/LMCS-22(2:3)2026.