APA (7th ed.) Citation

SMITH, K. W., & VARDI, M. Y. (2025). AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES. Logical Methods in Computer Science (LMCS), 21(3), 1. https://doi.org/10.46298/LMCS-21(3:2)2025

Chicago Style (17th ed.) Citation

SMITH, KEVIN W., and MOSHE Y. VARDI. "AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES." Logical Methods in Computer Science (LMCS) 21, no. 3 (2025): 1. https://doi.org/10.46298/LMCS-21(3:2)2025.

MLA (9th ed.) Citation

SMITH, KEVIN W., and MOSHE Y. VARDI. "AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES." Logical Methods in Computer Science (LMCS), vol. 21, no. 3, 2025, p. 1, https://doi.org/10.46298/LMCS-21(3:2)2025.