An efficient sequential range query model for minimum width/space verification (circuit analysis). - J. C. Jeong; S. Y. Shin; C. D. Lee; Y. U. Yu (ICCAD, 1988)