Dual labeling: Answering graph reachability queries in constant timeHaixun WangHao Heet al.2006ICDE 2006