CITATION STYLE
Büchi, J. R. (1990). Weak Second-Order Arithmetic and Finite Automata. In The Collected Works of J. Richard Büchi (pp. 398–424). Springer New York. https://doi.org/10.1007/978-1-4613-8928-6_22
Mendeley helps you to discover research relevant for your work.