APA (7th ed.) Citation

Döring, M., Enright, J., Larios-Jones, L., & Skretas, G. (2026). FO and MSO Model Checking on Temporal Graphs.

Chicago Style (17th ed.) Citation

Döring, Michelle, Jessica Enright, Laura Larios-Jones, and George Skretas. FO and MSO Model Checking on Temporal Graphs. 2026.

MLA (9th ed.) Citation

Döring, Michelle, et al. FO and MSO Model Checking on Temporal Graphs. 2026.