Liwu Li: Fast In-Place Verification of Data Dependencies. IEEE Trans. Knowl. Data Eng. 5(2): 266-281 (1993)