An efficient procedure deciding positivity for a class of holonomic functions. - Veronika Pillwein; Miriam Schussler (ACM Commun. Comput. Algebra, 2015)