@dblp

Algorithms for Constructing Minimal Deduction Graphs.

, , and . IEEE Trans. Software Eng., 15 (6): 760-770 (1989)

Links and resources

Tags