“Cardinalities of Restricted Ranges”. 1984. Journal of Computational Mathematics 2 (1): 33-40. https://gsp.tricubic.dev/JCM/article/view/10748.