@inproceedings{ dblp2146797,
  title = {Formalizing Randomized Matching Algorithms},
  author = {Dai Tri Man Le and Stephen A. Cook},
  author_short = {Tri Man Le, D. and Cook, S. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2011},
  key = {dblp2146797},
  id = {dblp2146797},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lics/LeC11},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2011.12},
  conference = {LICS},
  pages = {185-194},
  text = {LICS 2011:185-194},
  booktitle = {Proceedings of Logic in Computer Science (LICS)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e2d"},"__v":0,"authorIDs":[],"author_short":["Tri Man Le, D.","Cook, S. A."],"bibbaseid":"trimanle-cook-formalizingrandomizedmatchingalgorithms-2011","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/LICS.2011.12"},"role":"author","bibbaseid":"trimanle-cook-formalizingrandomizedmatchingalgorithms-2011","bibtex":"@inproceedings{ dblp2146797,\n title = {Formalizing Randomized Matching Algorithms},\n author = {Dai Tri Man Le and Stephen A. Cook},\n author_short = {Tri Man Le, D. and Cook, S. A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2011},\n key = {dblp2146797},\n id = {dblp2146797},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/LeC11},\n url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2011.12},\n conference = {LICS},\n pages = {185-194},\n text = {LICS 2011:185-194},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","booktitle":"Proceedings of Logic in Computer Science (LICS)","text":"LICS 2011:185-194","pages":"185-194","conference":"LICS","url":"http://doi.ieeecomputersociety.org/10.1109/LICS.2011.12","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/LeC11","id":"dblp2146797","key":"dblp2146797","year":"2011","type":"inproceedings","bibtype":"inproceedings","author_short":["Tri Man Le, D.","Cook, S. A."],"author":["Dai Tri Man Le","Stephen A. Cook"],"title":"Formalizing Randomized Matching Algorithms"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/LeC11","creationDate":"2014-08-14T15:51:39.222Z","downloads":0,"keywords":[],"search_terms":["formalizing","randomized","matching","algorithms","tri man le","cook"],"title":"Formalizing Randomized Matching Algorithms","year":2011,"dataSources":["7choSkHRDzL8HjksC"]}