E. A. O'Brien
Australian National Univ., Canberra, Australia
Cited References
Computer algebra handbook
Symmetries of knowledge bases
Annals of Mathematics and Artificial Intelligence