Efficient Algorithms for the Instantiated Transitive Closure Queries

Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim. Efficient Algorithms for the Instantiated Transitive Closure Queries. IEEE Trans. Software Eng., 17(3):296-309, 1991. [doi]

Abstract

Abstract is missing.