Authors: AMRHEIN B GLOOR O KUCHLIN W

Citation: B. Amrhein et al., ON THE WALK, Theoretical computer science, 187(1-2), 1997, pp. 179-202

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