APA (7th ed.) Citation

Ngouonou, J. C., Gindullin, R., Quimper, C., Beldiceanu, N., & Douence, R. (2025). Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures.

Chicago Style (17th ed.) Citation

Ngouonou, Jovial Cheukam, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, and Remi Douence. Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures. 2025.

MLA (9th ed.) Citation

Ngouonou, Jovial Cheukam, et al. Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures. 2025.