@incollection{Buchberger:83,
	AUTHOR = {Buchberger, B. and Loos, R.},
	TITLE = {Algebraic simplification},
	BOOKTITLE = {Computer algebra},
	PAGES = {11--43},
	PUBLISHER = {Springer, Vienna},
	YEAR = {1983},
	MRCLASS = {68Q40},
	MRNUMBER = {728962},
}


@incollection{PS:19,
	AUTHOR = {Paule, Peter and Schneider, Carsten},
	TITLE = {Towards a symbolic summation theory for unspecified sequences},
	BOOKTITLE = {Elliptic integrals, elliptic functions and modular forms inquantum field theory},
	SERIES = {Texts Monogr. Symbol. Comput.},
	PAGES = {351--390},
	PUBLISHER = {Springer, Cham},
	YEAR = {2019}
}