1. Coquand T., Lombardi H.: Hidden constructions in abstract algebra (3) Krull dimension of distributive lattices and commutative rings. In: Fontana, M., Kabbaj, S.-E., Wiegand, S. (eds) Commutative ring theory and applications, Lecture notes in pure and applied mathematics vol 231, pp. 477–499. M. Dekker, New York (2002)
2. Coquand T., Lombardi H., Roy M.-F.: An elementary charaterization of Krull dimension. In: Corsilla, L., Schuster, P. (eds) From sets and types to analysis and topology: towards practicable foundations for constructive mathematics, Oxford University Press, UK (2005)
3. Ellouz A., Lombardi H., Yengui I.: A constructive comparison between the rings R(X) and R (X) and application to the Lequain-Simis induction theorem. J. Algebra 320, 521–533 (2008)
4. Hadj Kacem A., Yengui I.: Dynamical Gröbner bases over Dedekind rings. J. Algebra 324, 12–24 (2010)
5. Lombardi H.: Dimension de Krull, Nullstellensätze et Évaluation dynamique. Math. Zeitschrift 242, 23–46 (2002)