APA (7th ed.) Citation

Pommellet, A., Stan, D., & Scatton, S. (2024). SAT-based Learning of Computation Tree Logic.

Chicago Style (17th ed.) Citation

Pommellet, Adrien, Daniel Stan, and Simon Scatton. SAT-based Learning of Computation Tree Logic. 2024.

MLA (9th ed.) Citation

Pommellet, Adrien, et al. SAT-based Learning of Computation Tree Logic. 2024.