LPN11-97 A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations