A. Boulton

Reduction of systems of nonlinear partial differential equations to simplified involutive forms

Gregory J. Reid, Allan D. Wittkopf, G. Reid, 1996, European Journal of Applied Mathematics.

Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs

Gregory J. Reid, Ian G. Lisle, Allan D. Wittkopf, 1992, ISSAC '92.

New symmetries from old: exploiting lie algebra structure to determine infinitesimal symmetries of differential equations

A. Boulton, 1993 .

Algorithmic determination of structure of infinite Lie pseudogroups of symmetries of PDEs

Gregory J. Reid, Ian G. Lisle, A. Boulton, 1995, ISSAC '95.

Reduction of systems of differential equations to standard form and their integration using directed graphs

Gregory J. Reid, A. Boulton, G. Reid, 1991, ISSAC '91.