APA (7th ed.) Citation

TORUŃCZYK, S., & ZEUME, T. (2022). REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC. Logical Methods in Computer Science (LMCS), 18(1), 1. https://doi.org/10.46298/LMCS-18(1:42)2022

Chicago Style (17th ed.) Citation

TORUŃCZYK, SZYMON, and THOMAS ZEUME. "REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC." Logical Methods in Computer Science (LMCS) 18, no. 1 (2022): 1. https://doi.org/10.46298/LMCS-18(1:42)2022.

MLA (9th ed.) Citation

TORUŃCZYK, SZYMON, and THOMAS ZEUME. "REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC." Logical Methods in Computer Science (LMCS), vol. 18, no. 1, 2022, p. 1, https://doi.org/10.46298/LMCS-18(1:42)2022.