Product Replacement Algorithm
Charles R. Leedham-Green, Leonard H. Soicher: Collection from the Left and Other Strategies. J. Symb. Comput. 9(5/6): 665-675 (1990) Charles […]
Charles R. Leedham-Green, Leonard H. Soicher: Collection from the Left and Other Strategies. J. Symb. Comput. 9(5/6): 665-675 (1990) Charles […]
