@article{ dblp3195339,
  title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},
  author = {Yang Liu 0003 and Jun Sun 0001},
  author_short = {Liu 0003, Y. and Sun 0001, J.},
  bibtype = {article},
  type = {article},
  year = {2006},
  key = {dblp3195339},
  id = {dblp3195339},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.07.039},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {107-124},
  number = {2},
  volume = {151},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)}
}

{"_id":"oFcDWmT5wRouiACE7","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S."],"bibbaseid":"0003-0001-algorithmicdesignusingobjectzfortwigxmlqueriesevaluation-2006","bibdata":{"author":["0003, Yang Liu","0001, Jun Sun"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S."],"bibtex":"@article{ dblp3195339,\n title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},\n author = {Yang Liu 0003 and Jun Sun 0001},\n author_short = {Liu 0003, Y. and Sun 0001, J.},\n bibtype = {article},\n type = {article},\n year = {2006},\n key = {dblp3195339},\n id = {dblp3195339},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06},\n url = {http://dx.doi.org/10.1016/j.entcs.2005.07.039},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {107-124},\n number = {2},\n volume = {151},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/LiuS06","id":"dblp3195339","journal":"Electr. Notes Theor. Comput. Sci. (ENTCS)","key":"dblp3195339","number":"2","pages":"107-124","text":"Electr. Notes Theor. Comput. Sci. (ENTCS) 151(2):107-124 (2006)","title":"Algorithmic Design Using Object-Z for Twig XML Queries Evaluation","type":"article","url":"http://dx.doi.org/10.1016/j.entcs.2005.07.039","volume":"151","year":"2006","bibbaseid":"0003-0001-algorithmicdesignusingobjectzfortwigxmlqueriesevaluation-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2005.07.039"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.387Z","downloads":0,"keywords":[],"search_terms":["algorithmic","design","using","object","twig","xml","queries","evaluation","0003","0001"],"title":"Algorithmic Design Using Object-Z for Twig XML Queries Evaluation","year":2006,"dataSources":["ZtcgqYKBLHt2gfuHW"]}