Malcolm A. H. MacCallum Symbolic computation in relativity theory. 34-43 1987 conf/eurocal/1987 EUROCAL db/conf/eurocal/eurocal1987.html#MacCallum87