Authors: BUNDGEN R GOBEL M KUCHLIN W

Citation: R. Bundgen et al., STRATEGY COMPLIANT MULTI-THREADED TERM COMPLETION, Journal of symbolic computation, 21(4-6), 1996, pp. 475-505