Bar-Lev ME, Katzir R. Positivity, (anti-)exhaustivity and stability. Proceedings of the AC [Internet]. 2022 Dec. 1 [cited 2025 Dec. 5];:30-7. Available from: https://platform.openjournals.nl/PAC/article/view/21689