Dynamic transitive closure via dynamic matrix inverse: extended abstract | IEEE Conference Publication | IEEE Xplore