Hearn, A.C.A.C.HearnSchrüfer, E.E.Schrüfer2022-03-032022-03-031995https://publica.fraunhofer.de/handle/publica/18755310.1006/jsco.1995.1005en003005006518510A computer algebra system based on order-sorted algebrajournal article