Gernot Haager Gerd Baumann Theo F. Nonnenmacher An Algorithm to Determine Potential Systems in Mathematica. 179-196 1995 20 J. Symb. Comput. 2 db/journals/jsc/jsc20.html#HaagerBN95