Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor (1998)

by Erik Poll, Simon Thompson
Venue:Computing Laboratory, University of Kent