1. Gerdt, V.P. and Blinkov, Yu.A., Involutive Bases of Polynomial Ideals, Math. Comput. in Simulation, 1998, vol. 45, pp. 519–542; Minimal Involutive Bases, pp. 543–560.
2. Seiler, W.M., Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and Computation in Mathematics, vol. 24, Springer, 2010. arXiv:math.AC/0501111
3. Gerdt, V.P., Involutive Algorithms for Computing Gröbner Bases, in Computational Commutative and Non-Commutative Algebraic Geometry, Amsterdam: IOS, 2005, pp. 199–225.
4. Faugère, J.-C. and Joux, A., Algebraic Cryptanalysis of Hidden Field Equations (HFE) Using Gröbner Bases, Lecture Notes in Computer Science, vol. 2729, Springer, 2003, pp. 44–60.
5. Brickenstein, M., Dreyer, A., Greuel, G.-M., and Wienand, O., New Developments in the Theory of Gröbner Bases and Applications to Formal Verification, J. Pure Appl. Algebra, 2009, vol. 213, pp. 1612–1635. arXiv:math.AC/0801.1177