BÜNDGEN, GÖBEL, KÜCHLIN, 1996. Strategy Compliant Multi-Threaded Term Completion 21.. https://doi.org/10.1006/jsco.1996.0027