-: A Novel Labeling Scheme for k-Hop Reachability Queries on DAGs | IEEE Journals & Magazine | IEEE Xplore