Hong Zhu A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:4, pp:248-255 [Journal]
Lin Lin Wang Thorough Investigation into ``An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:4, pp:271-274 [Journal]