Ian G. Lisle Gregory J. Reid A. Boulton Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. 1-6 1995 ISSAC http://doi.acm.org/10.1145/220346.220347 db/conf/issac/issac95.html#LisleRB95