Collection from the Left and Other Strategies.

Charles R. Leedham-GreenLeonard H. Soicher
Published in: J. Symb. Comput. (1990)