APA (7th ed.) Citation

Babatunde, A., England, M., & Sadeghimanesh, A. (2026). Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons.

Chicago Style (17th ed.) Citation

Babatunde, Abiola, Matthew England, and AmirHosein Sadeghimanesh. Optimising Cylindrical Algebraic Coverings for Use in SMT by Solving a Set Covering Problem with Reasons. 2026.

MLA (9th ed.) Citation

Babatunde, Abiola, et al. Optimising Cylindrical Algebraic Coverings for Use in SMT by Solving a Set Covering Problem with Reasons. 2026.