APA (7th ed.) Citation

Blumensath, A., & Wolf, F. (2020). Bisimulation invariant monadic-second order logic in the finite. Theoretical Computer Science, 823, 26. https://doi.org/10.1016/j.tcs.2020.03.001

Chicago Style (17th ed.) Citation

Blumensath, Achim, and Felix Wolf. "Bisimulation Invariant Monadic-second Order Logic in the Finite." Theoretical Computer Science 823 (2020): 26. https://doi.org/10.1016/j.tcs.2020.03.001.

MLA (9th ed.) Citation

Blumensath, Achim, and Felix Wolf. "Bisimulation Invariant Monadic-second Order Logic in the Finite." Theoretical Computer Science, vol. 823, 2020, p. 26, https://doi.org/10.1016/j.tcs.2020.03.001.