APA (7th ed.) Citation

Culik, K., & Harju, T. (1918). The omega-sequence equivalence problem for DOL systems is decidable.

Chicago Style (17th ed.) Citation

Culik, Karel, and Tero Harju. The Omega-sequence Equivalence Problem for DOL Systems Is Decidable. Waterloo, Ontario, Canada, 1918.

MLA (9th ed.) Citation

Culik, Karel, and Tero Harju. The Omega-sequence Equivalence Problem for DOL Systems Is Decidable. 1918.

Warning: These citations may not always be 100% accurate.