Yiu-Kwong Man On Computing Closed Forms for Indefinite Summations. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:16, n:4, pp:355-376 [Journal]
Yiu-Kwong Man Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:16, n:5, pp:423-443 [Journal]