APA (7th ed.) Citation

van Ditmarsch, H., French, T., & Galimullin, R. (2022). Satisfiability of Quantified Boolean Announcements.

Chicago Style (17th ed.) Citation

van Ditmarsch, Hans, Tim French, and Rustam Galimullin. Satisfiability of Quantified Boolean Announcements. 2022.

MLA (9th ed.) Citation

van Ditmarsch, Hans, et al. Satisfiability of Quantified Boolean Announcements. 2022.