Search dblp for Publications

export results for "reachability query"

 download as .bib file

@article{DBLP:journals/corr/abs-2403-13181,
  author       = {Lian Chen and
                  Junfeng Zhou and
                  Ming Du and
                  Sheng Yu and
                  Xian Tang and
                  Ziyang Chen},
  title        = {Efficient k-step Weighted Reachability Query Processing Algorithms},
  journal      = {CoRR},
  volume       = {abs/2403.13181},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.13181},
  doi          = {10.48550/ARXIV.2403.13181},
  eprinttype    = {arXiv},
  eprint       = {2403.13181},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-13181.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/SongGY23,
  author       = {Yunjiao Song and
                  Xinrui Ge and
                  Jia Yu},
  title        = {Privacy-preserving reachability query over graphs with result verifiability},
  journal      = {Comput. Secur.},
  volume       = {127},
  pages        = {103092},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cose.2023.103092},
  doi          = {10.1016/J.COSE.2023.103092},
  timestamp    = {Wed, 19 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/SongGY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/YuanYZJL22,
  author       = {Pingpeng Yuan and
                  Yujie You and
                  Shuang Zhou and
                  Hai Jin and
                  Ling Liu},
  title        = {Providing Fast Reachability Query Services With MGTag: {A} Multi-Dimensional
                  Graph Labeling Method},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {15},
  number       = {2},
  pages        = {1000--1011},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSC.2020.2969898},
  doi          = {10.1109/TSC.2020.2969898},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/YuanYZJL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/WenYZQCZ22,
  author       = {Dong Wen and
                  Bohua Yang and
                  Ying Zhang and
                  Lu Qin and
                  Dawei Cheng and
                  Wenjie Zhang},
  title        = {Span-reachability querying in large temporal graphs},
  journal      = {{VLDB} J.},
  volume       = {31},
  number       = {4},
  pages        = {629--647},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00778-021-00715-z},
  doi          = {10.1007/S00778-021-00715-Z},
  timestamp    = {Mon, 20 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vldb/WenYZQCZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/SuWZCM22,
  author       = {Zhixiang Su and
                  Di Wang and
                  Xiaofeng Zhang and
                  Lizhen Cui and
                  Chunyan Miao},
  editor       = {K. Selcuk Candan and
                  Huan Liu and
                  Leman Akoglu and
                  Xin Luna Dong and
                  Jiliang Tang},
  title        = {Efficient Reachability Query with Extreme Labeling Filter},
  booktitle    = {{WSDM} '22: The Fifteenth {ACM} International Conference on Web Search
                  and Data Mining, Virtual Event / Tempe, AZ, USA, February 21 - 25,
                  2022},
  pages        = {966--975},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3488560.3498446},
  doi          = {10.1145/3488560.3498446},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsdm/SuWZCM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HocineYBN21,
  author       = {Imane Hocine and
                  Sa{\"{\i}}d Yahiaoui and
                  Ahc{\`{e}}ne Bendjoudi and
                  Nadia Nouali{-}Taboudjemat},
  title        = {Reachability in big graphs: {A} distributed indexing and querying
                  approach},
  journal      = {Inf. Sci.},
  volume       = {573},
  pages        = {541--561},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ins.2021.05.053},
  doi          = {10.1016/J.INS.2021.05.053},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/HocineYBN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JezequelLS21,
  author       = {Lo{\"{\i}}g Jezequel and
                  Didier Lime and
                  Bastien S{\'{e}}r{\'{e}}e},
  editor       = {Didier Buchs and
                  Josep Carmona},
  title        = {A Lazy Query Scheme for Reachability Analysis in Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 42nd International
                  Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12734},
  pages        = {360--378},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-76983-3\_18},
  doi          = {10.1007/978-3-030-76983-3\_18},
  timestamp    = {Thu, 09 Dec 2021 09:24:11 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/JezequelLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/CaiZ21,
  author       = {Yuzheng Cai and
                  Weiguo Zheng},
  editor       = {Christian S. Jensen and
                  Ee{-}Peng Lim and
                  De{-}Nian Yang and
                  Chia{-}Hui Chang and
                  Jianliang Xu and
                  Wen{-}Chih Peng and
                  Jen{-}Wei Huang and
                  Chih{-}Ya Shen},
  title        = {{ESTI:} Efficient k-Hop Reachability Querying over Large General Directed
                  Graphs},
  booktitle    = {Database Systems for Advanced Applications. {DASFAA} 2021 International
                  Workshops - BDQM, GDMA, MLDLDSA, MobiSocial, and MUST, Taipei, Taiwan,
                  April 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12680},
  pages        = {71--89},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-73216-5\_6},
  doi          = {10.1007/978-3-030-73216-5\_6},
  timestamp    = {Wed, 14 Apr 2021 14:42:08 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/CaiZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/Li00Q21,
  author       = {Wenjie Li and
                  Lei Zou and
                  Peng Peng and
                  Zheng Qin},
  editor       = {Christian S. Jensen and
                  Ee{-}Peng Lim and
                  De{-}Nian Yang and
                  Chia{-}Hui Chang and
                  Jianliang Xu and
                  Wen{-}Chih Peng and
                  Jen{-}Wei Huang and
                  Chih{-}Ya Shen},
  title        = {NREngine: {A} Graph-Based Query Engine for Network Reachability},
  booktitle    = {Database Systems for Advanced Applications. {DASFAA} 2021 International
                  Workshops - BDQM, GDMA, MLDLDSA, MobiSocial, and MUST, Taipei, Taiwan,
                  April 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12680},
  pages        = {90--106},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-73216-5\_7},
  doi          = {10.1007/978-3-030-73216-5\_7},
  timestamp    = {Thu, 16 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/Li00Q21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/0001PB20,
  author       = {Amina Gacem and
                  Apostolos N. Papadopoulos and
                  Kamel Boukhalfa},
  title        = {Scalable distributed reachability query processing in multi-labeled
                  networks},
  journal      = {Data Knowl. Eng.},
  volume       = {130},
  pages        = {101854},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.datak.2020.101854},
  doi          = {10.1016/J.DATAK.2020.101854},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/0001PB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/YangCZLHS20,
  author       = {Liu Yang and
                  Tingxuan Chen and
                  Junyu Zhang and
                  Jun Long and
                  Zhigang Hu and
                  Victor S. Sheng},
  editor       = {Xin Wang and
                  Rui Zhang and
                  Young{-}Koo Lee and
                  Le Sun and
                  Yang{-}Sae Moon},
  title        = {Fruited-Forest: {A} Reachability Querying Method Based on Spanning
                  Tree Modelling of Reduced {DAG}},
  booktitle    = {Web and Big Data - 4th International Joint Conference, APWeb-WAIM
                  2020, Tianjin, China, September 18-20, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12317},
  pages        = {145--153},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60259-8\_11},
  doi          = {10.1007/978-3-030-60259-8\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apweb/YangCZLHS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/MondalM19,
  author       = {Safikureshi Mondal and
                  Nandini Mukherjee},
  title        = {An efficient reachability query based pruning algorithm in e-health
                  scenario},
  journal      = {J. Biomed. Informatics},
  volume       = {94},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jbi.2019.103171},
  doi          = {10.1016/J.JBI.2019.103171},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/MondalM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/ZhangGCGPZJ19,
  author       = {Tianming Zhang and
                  Yunjun Gao and
                  Lu Chen and
                  Wei Guo and
                  Shiliang Pu and
                  Baihua Zheng and
                  Christian S. Jensen},
  title        = {Efficient distributed reachability querying of massive temporal graphs},
  journal      = {{VLDB} J.},
  volume       = {28},
  number       = {6},
  pages        = {871--896},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00778-019-00572-x},
  doi          = {10.1007/S00778-019-00572-X},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vldb/ZhangGCGPZJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/Li0Q019,
  author       = {Wenjie Li and
                  Peng Peng and
                  Zheng Qin and
                  Lei Zou},
  editor       = {Leong Hou U and
                  Jian Yang and
                  Yi Cai and
                  Kamalakar Karlapalem and
                  An Liu and
                  Xin Huang},
  title        = {{NRGQP:} {A} Graph-Based Query Platform for Network Reachability},
  booktitle    = {Web Information Systems Engineering - {WISE} 2019 Workshop, Demo,
                  and Tutorial, Hong Kong and Macau, China, January 19-22, 2020, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1155},
  pages        = {55--63},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-981-15-3281-8\_6},
  doi          = {10.1007/978-981-15-3281-8\_6},
  timestamp    = {Thu, 16 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wise/Li0Q019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/ZhangL18,
  author       = {Kehong Zhang and
                  Kequi Li},
  title        = {The optimization reachability query of large scale multi-attribute
                  constraints directed graph},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {33},
  number       = {2},
  year         = {2018},
  url          = {https://doi.org/10.32604/csse.2018.33.071},
  doi          = {10.32604/CSSE.2018.33.071},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/ZhangL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/WeiYLJ18,
  author       = {Hao Wei and
                  Jeffrey Xu Yu and
                  Can Lu and
                  Ruoming Jin},
  title        = {Reachability querying: an independent permutation labeling approach},
  journal      = {{VLDB} J.},
  volume       = {27},
  number       = {1},
  pages        = {1--26},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00778-017-0468-3},
  doi          = {10.1007/S00778-017-0468-3},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vldb/WeiYLJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/ZhouYLWCT18,
  author       = {Junfeng Zhou and
                  Jeffrey Xu Yu and
                  Na Li and
                  Hao Wei and
                  Ziyang Chen and
                  Xian Tang},
  title        = {Accelerating reachability query processing based on {DAG} reduction},
  journal      = {{VLDB} J.},
  volume       = {27},
  number       = {2},
  pages        = {271--296},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00778-018-0495-8},
  doi          = {10.1007/S00778-018-0495-8},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vldb/ZhouYLWCT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/RaghebiK18,
  author       = {Zohreh Raghebi and
                  Farnoush Banaei Kashani},
  editor       = {Farnoush Banaei Kashani and
                  Erik G. Hoel and
                  Ralf Hartmut G{\"{u}}ting and
                  Roberto Tamassia and
                  Li Xiong},
  title        = {Probabilistic reachability query in evolving spatiotemporal contact
                  networks of moving objects},
  booktitle    = {Proceedings of the 26th {ACM} {SIGSPATIAL} International Conference
                  on Advances in Geographic Information Systems, {SIGSPATIAL} 2018,
                  Seattle, WA, USA, November 06-09, 2018},
  pages        = {516--519},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3274895.3274976},
  doi          = {10.1145/3274895.3274976},
  timestamp    = {Wed, 21 Nov 2018 07:00:15 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/RaghebiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/ZhouCXT18,
  author       = {Li Zhou and
                  Ren Chen and
                  Yinglong Xia and
                  Radu Teodorescu},
  title        = {C-Graph: {A} Highly Efficient Concurrent Graph Reachability Query
                  Framework},
  booktitle    = {Proceedings of the 47th International Conference on Parallel Processing,
                  {ICPP} 2018, Eugene, OR, USA, August 13-16, 2018},
  pages        = {79:1--79:10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3225058.3225136},
  doi          = {10.1145/3225058.3225136},
  timestamp    = {Wed, 21 Nov 2018 12:44:17 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/ZhouCXT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/RaghebiK18,
  author       = {Zohreh Raghebi and
                  Farnoush Banaei Kashani},
  editor       = {Leong Hou U and
                  Mohamed Sarwat},
  title        = {Reach Me If You Can: Reachability Query in Uncertain Contact Networks},
  booktitle    = {Proceedings of the Fifth International {ACM} {SIGMOD} Workshop on
                  Managing and Mining Enriched Geo-Spatial Data, GeoRich@SIGMOD 2018,
                  Houston, TX, USA, June 15, 2018},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3210272.3210276},
  doi          = {10.1145/3210272.3210276},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/RaghebiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/SuZWY17,
  author       = {Jiao Su and
                  Qing Zhu and
                  Hao Wei and
                  Jeffrey Xu Yu},
  title        = {Reachability Querying: Can It Be Even Faster?},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {29},
  number       = {3},
  pages        = {683--697},
  year         = {2017},
  url          = {https://doi.org/10.1109/TKDE.2016.2631160},
  doi          = {10.1109/TKDE.2016.2631160},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/SuZWY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/LiHZ17,
  author       = {Lei Li and
                  Wen Hua and
                  Xiaofang Zhou},
  title        = {{HD-GDD:} high dimensional graph dominance drawing approach for reachability
                  query},
  journal      = {World Wide Web},
  volume       = {20},
  number       = {4},
  pages        = {677--696},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11280-016-0407-z},
  doi          = {10.1007/S11280-016-0407-Z},
  timestamp    = {Wed, 20 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/www/LiHZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ChengY0WGS16,
  author       = {Yurong Cheng and
                  Ye Yuan and
                  Lei Chen and
                  Guoren Wang and
                  Christophe G. Giraud{-}Carrier and
                  Yongjiao Sun},
  title        = {DistR: {A} Distributed Method for the Reachability Query over Large
                  Uncertain Graphs},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {27},
  number       = {11},
  pages        = {3172--3185},
  year         = {2016},
  url          = {https://doi.org/10.1109/TPDS.2016.2535444},
  doi          = {10.1109/TPDS.2016.2535444},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/ChengY0WGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/YungC16,
  author       = {Duncan Yung and
                  Shi{-}Kuo Chang},
  editor       = {James Joshi and
                  George Karypis and
                  Ling Liu and
                  Xiaohua Hu and
                  Ronay Ak and
                  Yinglong Xia and
                  Weijia Xu and
                  Aki{-}Hiro Sato and
                  Sudarsan Rachuri and
                  Lyle H. Ungar and
                  Philip S. Yu and
                  Rama Govindaraju and
                  Toyotaro Suzumura},
  title        = {Fast reachability query computation on big attributed graphs},
  booktitle    = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
                  Washington DC, USA, December 5-8, 2016},
  pages        = {3370--3380},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/BigData.2016.7840997},
  doi          = {10.1109/BIGDATA.2016.7840997},
  timestamp    = {Fri, 19 Nov 2021 16:08:20 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/YungC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/JiangYCZY16,
  author       = {Jiaxin Jiang and
                  Peipei Yi and
                  Byron Choi and
                  Zhiwei Zhang and
                  Xiaohui Yu},
  editor       = {Snehasis Mukhopadhyay and
                  ChengXiang Zhai and
                  Elisa Bertino and
                  Fabio Crestani and
                  Javed Mostafa and
                  Jie Tang and
                  Luo Si and
                  Xiaofang Zhou and
                  Yi Chang and
                  Yunyao Li and
                  Parikshit Sondhi},
  title        = {Privacy-Preserving Reachability Query Services for Massive Networks},
  booktitle    = {Proceedings of the 25th {ACM} International Conference on Information
                  and Knowledge Management, {CIKM} 2016, Indianapolis, IN, USA, October
                  24-28, 2016},
  pages        = {145--154},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983323.2983799},
  doi          = {10.1145/2983323.2983799},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/JiangYCZY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/Juping16,
  author       = {Wen Juping},
  editor       = {Hujun Yin and
                  Yang Gao and
                  Bin Li and
                  Daoqiang Zhang and
                  Ming Yang and
                  Yun Li and
                  Frank Klawonn and
                  Antonio J. Tall{\'{o}}n{-}Ballesteros},
  title        = {Discussion of Graph Reachability Query with Keyword and Distance Constraint},
  booktitle    = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2016
                  - 17th International Conference, Yangzhou, China, October 12-14, 2016,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9937},
  pages        = {293--301},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46257-8\_32},
  doi          = {10.1007/978-3-319-46257-8\_32},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ideal/Juping16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/ShuoNdNYG15,
  author       = {Shuo Feng and
                  Ning Xie and
                  Derong Shen and
                  Nuo Li and
                  Yue Kou and
                  Ge Yu},
  editor       = {Reynold Cheng and
                  Bin Cui and
                  Zhenjie Zhang and
                  Ruichu Cai and
                  Jia Xu},
  title        = {AILabel: {A} Fast Interval Labeling Approach for Reachability Query
                  on Very Large Graphs},
  booktitle    = {Web Technologies and Applications - 17th Asia-PacificWeb Conference,
                  APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9313},
  pages        = {560--572},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25255-1\_46},
  doi          = {10.1007/978-3-319-25255-1\_46},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apweb/ShuoNdNYG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ChengYCW15,
  author       = {Yurong Cheng and
                  Ye Yuan and
                  Lei Chen and
                  Guoren Wang},
  title        = {The Reachability Query over Distributed Uncertain Graphs},
  booktitle    = {35th {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2015, Columbus, OH, USA, June 29 - July 2, 2015},
  pages        = {786--787},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICDCS.2015.109},
  doi          = {10.1109/ICDCS.2015.109},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/ChengYCW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/StrzheletskaT15,
  author       = {Elena Vladislavivna Strzheletska and
                  Vassilis J. Tsotras},
  editor       = {Christophe Claramunt and
                  Markus Schneider and
                  Raymond Chi{-}Wing Wong and
                  Li Xiong and
                  Woong{-}Kee Loh and
                  Cyrus Shahabi and
                  Ki{-}Joune Li},
  title        = {{RICC:} Fast Reachability Query Processing on Large Spatiotemporal
                  Datasets},
  booktitle    = {Advances in Spatial and Temporal Databases - 14th International Symposium,
                  {SSTD} 2015, Hong Kong, China, August 26-28, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9239},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22363-6\_1},
  doi          = {10.1007/978-3-319-22363-6\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssd/StrzheletskaT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/WeiYLJ14,
  author       = {Hao Wei and
                  Jeffrey Xu Yu and
                  Can Lu and
                  Ruoming Jin},
  title        = {Reachability Querying: An Independent Permutation Labeling Approach},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {7},
  number       = {12},
  pages        = {1191--1202},
  year         = {2014},
  url          = {http://www.vldb.org/pvldb/vol7/p1191-wei.pdf},
  doi          = {10.14778/2732977.2732992},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/WeiYLJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LiangZJZH14,
  author       = {Ronghua Liang and
                  Hai Zhuge and
                  Xiaorui Jiang and
                  Qiang Zeng and
                  Xiaofei He},
  title        = {Scaling Hop-Based Reachability Indexing for Fast Graph Pattern Query
                  Processing},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {26},
  number       = {11},
  pages        = {2803--2817},
  year         = {2014},
  url          = {https://doi.org/10.1109/TKDE.2014.2310207},
  doi          = {10.1109/TKDE.2014.2310207},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/LiangZJZH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEwisa/XueNSKL14,
  author       = {Peng Xue and
                  Tiezheng Nie and
                  Derong Shen and
                  Yue Kou and
                  Wenjie Li},
  title        = {A Reachability Query Approach with Path Interval Labeling},
  booktitle    = {11th Web Information System and Application Conference, {WISA} 2014,
                  Tianjin, China, September 12-14, 2014},
  pages        = {172--177},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WISA.2014.39},
  doi          = {10.1109/WISA.2014.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEwisa/XueNSKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/YinFYCXZ14,
  author       = {Shuxiang Yin and
                  Zhe Fan and
                  Peipei Yi and
                  Byron Choi and
                  Jianliang Xu and
                  Shuigeng Zhou},
  editor       = {Sourav S. Bhowmick and
                  Curtis E. Dyreson and
                  Christian S. Jensen and
                  Mong{-}Li Lee and
                  Agus Muliantara and
                  Bernhard Thalheim},
  title        = {Privacy-Preserving Reachability Query Services},
  booktitle    = {Database Systems for Advanced Applications - 19th International Conference,
                  {DASFAA} 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8421},
  pages        = {203--219},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-05810-8\_14},
  doi          = {10.1007/978-3-319-05810-8\_14},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/YinFYCXZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/YiFY14,
  author       = {Peipei Yi and
                  Zhe Fan and
                  Shuxiang Yin},
  title        = {Privacy-preserving reachability query services for sparse graphs},
  booktitle    = {Workshops Proceedings of the 30th International Conference on Data
                  Engineering Workshops, {ICDE} 2014, Chicago, IL, USA, March 31 - April
                  4, 2014},
  pages        = {32--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICDEW.2014.6818298},
  doi          = {10.1109/ICDEW.2014.6818298},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/YiFY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issnip/DoN14,
  author       = {Hoang Giang Do and
                  Wee Keong Ng},
  title        = {Secure reachability query on private shared graphs},
  booktitle    = {2014 {IEEE} Ninth International Conference on Intelligent Sensors,
                  Sensor Networks and Information Processing (ISSNIP), Singapore, April
                  21-24, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISSNIP.2014.6827647},
  doi          = {10.1109/ISSNIP.2014.6827647},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issnip/DoN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/MullangiR13,
  author       = {Phani Rohit Mullangi and
                  Lakshmish Ramaswamy},
  editor       = {Qi He and
                  Arun Iyengar and
                  Wolfgang Nejdl and
                  Jian Pei and
                  Rajeev Rastogi},
  title        = {{SCISSOR:} scalable and efficient reachability query processing in
                  time-evolving hierarchies},
  booktitle    = {22nd {ACM} International Conference on Information and Knowledge Management,
                  CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
  pages        = {799--804},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2505515.2505732},
  doi          = {10.1145/2505515.2505732},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/MullangiR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChengHWF13,
  author       = {James Cheng and
                  Silu Huang and
                  Huanhuan Wu and
                  Ada Wai{-}Chee Fu},
  editor       = {Kenneth A. Ross and
                  Divesh Srivastava and
                  Dimitris Papadias},
  title        = {TF-Label: a topological-folding labeling scheme for reachability querying
                  in a large graph},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013},
  pages        = {193--204},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463676.2465286},
  doi          = {10.1145/2463676.2465286},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/ChengHWF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/Shirani-MehrKS12,
  author       = {Houtan Shirani{-}Mehr and
                  Farnoush Banaei Kashani and
                  Cyrus Shahabi},
  title        = {Efficient Reachability Query Evaluation in Large Spatiotemporal Contact
                  Datasets},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {5},
  number       = {9},
  pages        = {848--859},
  year         = {2012},
  url          = {http://vldb.org/pvldb/vol5/p848\_houtanshirani-mehr\_vldb2012.pdf},
  doi          = {10.14778/2311906.2311912},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/Shirani-MehrKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CuzzocreaS12,
  author       = {Alfredo Cuzzocrea and
                  Paolo Serafino},
  title        = {A reachability-based theoretical framework for modeling and querying
                  complex probabilistic graph data},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man,
                  and Cybernetics, {SMC} 2012, Seoul, Korea (South), October 14-17,
                  2012},
  pages        = {1177--1184},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSMC.2012.6377891},
  doi          = {10.1109/ICSMC.2012.6377891},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/CuzzocreaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6696,
  author       = {Houtan Shirani{-}Mehr and
                  Farnoush Banaei Kashani and
                  Cyrus Shahabi},
  title        = {Efficient Reachability Query Evaluation in Large Spatiotemporal Contact
                  Datasets},
  journal      = {CoRR},
  volume       = {abs/1205.6696},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.6696},
  eprinttype    = {arXiv},
  eprint       = {1205.6696},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-6696.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3375,
  author       = {Stephan Seufert and
                  Avishek Anand and
                  Srikanta J. Bedathur and
                  Gerhard Weikum},
  title        = {High-Performance Reachability Query Processing under Index Size Restrictions},
  journal      = {CoRR},
  volume       = {abs/1211.3375},
  year         = {2012},
  url          = {http://arxiv.org/abs/1211.3375},
  eprinttype    = {arXiv},
  eprint       = {1211.3375},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-3375.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ahswn/BestehornBBJBF10,
  author       = {Markus Bestehorn and
                  Zinaida Benenson and
                  Erik Buchmann and
                  Marek Jawurek and
                  Klemens B{\"{o}}hm and
                  Felix C. Freiling},
  title        = {Query Dissemination in Sensor Networks - Predicting Reachability and
                  Energy Consumption},
  journal      = {Ad Hoc Sens. Wirel. Networks},
  volume       = {9},
  number       = {1-2},
  pages        = {85--107},
  year         = {2010},
  url          = {http://www.oldcitypublishing.com/journals/ahswn-home/ahswn-issue-contents/ahswn-volume-9-number-1-2/ahswn-9-1-2-p-85-107/},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ahswn/BestehornBBJBF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/DeyJ10,
  author       = {Saikat K. Dey and
                  Hasan M. Jamil},
  editor       = {Jimmy X. Huang and
                  Nick Koudas and
                  Gareth J. F. Jones and
                  Xindong Wu and
                  Kevyn Collins{-}Thompson and
                  Aijun An},
  title        = {A hierarchical approach to reachability query answering in very large
                  graph databases},
  booktitle    = {Proceedings of the 19th {ACM} Conference on Information and Knowledge
                  Management, {CIKM} 2010, Toronto, Ontario, Canada, October 26-30,
                  2010},
  pages        = {1377--1380},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1871437.1871625},
  doi          = {10.1145/1871437.1871625},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/DeyJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KhakpourL10,
  author       = {Amir R. Khakpour and
                  Alex X. Liu},
  title        = {Quantifying and Querying Network Reachability},
  booktitle    = {2010 International Conference on Distributed Computing Systems, {ICDCS}
                  2010, Genova, Italy, June 21-25, 2010},
  pages        = {817--826},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICDCS.2010.15},
  doi          = {10.1109/ICDCS.2010.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/KhakpourL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Wei10,
  author       = {Fang Wei},
  editor       = {Anton{\'{\i}}n Kucera and
                  Igor Potapov},
  title        = {Efficient Graph Reachability Query Answering Using Tree Decomposition},
  booktitle    = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno,
                  Czech Republic, August 28-29, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6227},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15349-5\_13},
  doi          = {10.1007/978-3-642-15349-5\_13},
  timestamp    = {Mon, 12 Jun 2023 09:54:30 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Wei10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/Chen09,
  author       = {Yangjun Chen},
  editor       = {Bipin C. Desai and
                  Carson Kai{-}Sang Leung and
                  Olga Ormandjieva},
  title        = {General spanning trees and reachability query evaluation},
  booktitle    = {Canadian Conference on Computer Science {\&} Software Engineering,
                  {C3S2E} 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {243--252},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1557626.1557665},
  doi          = {10.1145/1557626.1557665},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/c3s2e/Chen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/JinXRF09,
  author       = {Ruoming Jin and
                  Yang Xiang and
                  Ning Ruan and
                  David Fuhry},
  editor       = {Ugur {\c{C}}etintemel and
                  Stanley B. Zdonik and
                  Donald Kossmann and
                  Nesime Tatbul},
  title        = {3-HOP: a high-compression indexing scheme for reachability query},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, {SIGMOD} 2009, Providence, Rhode Island, USA, June 29 - July
                  2, 2009},
  pages        = {813--826},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1559845.1559930},
  doi          = {10.1145/1559845.1559930},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/JinXRF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhoc-now/BenensonBBFJ08,
  author       = {Zinaida Benenson and
                  Markus Bestehorn and
                  Erik Buchmann and
                  Felix C. Freiling and
                  Marek Jawurek},
  editor       = {David Coudert and
                  David Simplot{-}Ryl and
                  Ivan Stojmenovic},
  title        = {Query Dissemination with Predictable Reachability and Energy Usage
                  in Sensor Networks},
  booktitle    = {Ad-hoc, Mobile and Wireless Networks, 7th International Conference,
                  {ADHOC-NOW} 2008, Sophia-Antipolis, France, September 10-12, 2008,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5198},
  pages        = {279--292},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85209-4\_22},
  doi          = {10.1007/978-3-540-85209-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/adhoc-now/BenensonBBFJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/ChengYD07,
  author       = {Jiefeng Cheng and
                  Jeffrey Xu Yu and
                  Bolin Ding},
  editor       = {Kotagiri Ramamohanarao and
                  P. Radha Krishna and
                  Mukesh K. Mohania and
                  Ekawit Nantajeewarawat},
  title        = {Cost-Based Query Optimization for Multi Reachability Joins},
  booktitle    = {Advances in Databases: Concepts, Systems and Applications, 12th International
                  Conference on Database Systems for Advanced Applications, {DASFAA}
                  2007, Bangkok, Thailand, April 9-12, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4443},
  pages        = {18--30},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71703-4\_4},
  doi          = {10.1007/978-3-540-71703-4\_4},
  timestamp    = {Wed, 26 May 2021 08:40:06 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/ChengYD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/ChengYT06,
  author       = {Jiefeng Cheng and
                  Jeffrey Xu Yu and
                  Nan Tang},
  editor       = {Mong{-}Li Lee and
                  Kian{-}Lee Tan and
                  Vilas Wuwongse},
  title        = {Fast Reachability Query Processing},
  booktitle    = {Database Systems for Advanced Applications, 11th International Conference,
                  {DASFAA} 2006, Singapore, April 12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3882},
  pages        = {674--688},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11733836\_47},
  doi          = {10.1007/11733836\_47},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/dasfaa/ChengYT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LevyMSS93,
  author       = {Alon Y. Levy and
                  Inderpal Singh Mumick and
                  Yehoshua Sagiv and
                  Oded Shmueli},
  editor       = {Catriel Beeri},
  title        = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
  booktitle    = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 25-28, 1993, Washington, DC,
                  {USA}},
  pages        = {109--122},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/153850.153860},
  doi          = {10.1145/153850.153860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/LevyMSS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/LevyMSS92,
  author       = {Alon Y. Levy and
                  Inderpal Singh Mumick and
                  Yehoshua Sagiv and
                  Oded Shmueli},
  editor       = {Kotagiri Ramamohanarao and
                  James Harland and
                  Guozhu Dong},
  title        = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
  booktitle    = {Proceedings of the Workshop on Deductive Databases held in conjunction
                  with the Joint International Conference and Symposium on Logic Programming,
                  Washington, D.C., USA, Saturday, November 14, 1992},
  series       = {Technical Report},
  volume       = {{CITRI/TR-92-65}},
  pages        = {1--10},
  publisher    = {Department of Computer Science, University of Melbourne},
  year         = {1992},
  timestamp    = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/LevyMSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics