Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs. - Gregory J. Reid; A. Boulton (ISSAC, 1991)

Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. - Gregory J. Reid; Ian G. Lisle; A. Boulton; Allan D. Wittkopf (ISSAC, 1992)

Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. - Ian G. Lisle; Gregory J. Reid; A. Boulton (ISSAC, 1995)