A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems. - David Hartley; R. W. Tucker (J. Symb. Comput., 1991)