Felix Ulmer Liouvillian solutions of third order differential equations. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2003, v:36, n:6, pp:855-889 [Journal]
Viorica Sofronie-Stokkermans Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2003, v:36, n:6, pp:891-924 [Journal]