On coherence in computer algebra (1993)

by A Weber
Venue:DISCO '93 --- International Symposium on the Design and Implementation of Symbolic Computation Systems