Quartic Equations and Algorithms for Riemann Tensor Classification. - Jan E. Åman; R. A. d'Inverno; G. C. Joly; Malcolm A. H. MacCallum (EUROSAM, 1984)

Progress on the Equivalence Problem. - Jan E. Åman; R. A. d'Inverno; G. C. Joly; Malcolm A. H. MacCallum (European Conference on Computer Algebra (2), 1985)

Symbolic computation in relativity theory. - Malcolm A. H. MacCallum (EUROCAL, 1987)

An Ordinary Differential Equation Solver for Reduce. - Malcolm A. H. MacCallum (ISSAC, 1988)

Comments on the performance of algebra systems in general relativity and a recent paper by Nielsen and Pedersen. - Malcolm A. H. MacCallum (SIGSAM Bull., 1989)

A Rational Approach to the Prelle-Singer Algorithm. - Yiu-Kwong Man; Malcolm A. H. MacCallum (J. Symb. Comput., 1997)