Banaszak, G., Gajda, W., & Krasoń, P. (2005). Detecting linear dependence by reduction maps. Journal of Number Theory, 115(2), 322-342.