id: 03931150
dt: a
an: 03931150
au: Möller, H.Michael
ti: A reduction strategy for the Taylor resolution.
so: Computer algebra, EUROCAL ’85, Proc. Eur. Conf., Linz/Austria 1985, Vol.
    2, Lect. Notes Comput. Sci. 204, 526-534 (1985).
py: 1985
pu: 
la: EN
cc: 
ut: critical pairs; Taylor resolution; reduced resolution
ci: Zbl 0568.00019
li: 
ab: [For the entire collection see Zbl 0568.00019.] A reduction strategy for
    the Taylor resolution giving reduced resolution of length at most n is
    presented in detail.
rv: K.Peeva