Integrating Computer Algebra and Reasoning through the Type System of Aldor.

Erik Poll Simon Thompson Integrating Computer Algebra and Reasoning through the Type System of Aldor. 136-150 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#PollT00