@inproceedings{conf/ecai/MeseguerW98,
  added-at = {2002-01-03T00:00:00.000+0100},
  author = {Meseguer, Pedro and Walsh, Toby},
  biburl = {http://www.bibsonomy.org/bibtex/222b310c5dd5127d462aa296d4675e3ab/dblp},
  booktitle = {ECAI},
  date = {2002-01-03},
  description = {dblp},
  interhash = {ad11ef3bf561bc92385a0413fb9b14e6},
  intrahash = {22b310c5dd5127d462aa296d4675e3ab},
  keywords = {dblp},
  pages = {239-243},
  timestamp = {2002-01-03T00:00:00.000+0100},
  title = {Interleaved and Discrepancy Based Search.},
  url = {http://dblp.uni-trier.de/db/conf/ecai/ecai98.html#MeseguerW98},
  year = 1998
}

{"_id":"XSpP9DZ2aY63JqHpE","bibbaseid":"meseguer-walsh-interleavedanddiscrepancybasedsearch-1998","downloads":0,"creationDate":"2016-06-06T06:47:33.396Z","title":"Interleaved and Discrepancy Based Search.","author_short":["Meseguer, P.","Walsh, T."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2002-01-03T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Meseguer"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/222b310c5dd5127d462aa296d4675e3ab/dblp","booktitle":"ECAI","date":"2002-01-03","description":"dblp","interhash":"ad11ef3bf561bc92385a0413fb9b14e6","intrahash":"22b310c5dd5127d462aa296d4675e3ab","keywords":"dblp","pages":"239-243","timestamp":"2002-01-03T00:00:00.000+0100","title":"Interleaved and Discrepancy Based Search.","url":"http://dblp.uni-trier.de/db/conf/ecai/ecai98.html#MeseguerW98","year":"1998","bibtex":"@inproceedings{conf/ecai/MeseguerW98,\n added-at = {2002-01-03T00:00:00.000+0100},\n author = {Meseguer, Pedro and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/222b310c5dd5127d462aa296d4675e3ab/dblp},\n booktitle = {ECAI},\n date = {2002-01-03},\n description = {dblp},\n interhash = {ad11ef3bf561bc92385a0413fb9b14e6},\n intrahash = {22b310c5dd5127d462aa296d4675e3ab},\n keywords = {dblp},\n pages = {239-243},\n timestamp = {2002-01-03T00:00:00.000+0100},\n title = {Interleaved and Discrepancy Based Search.},\n url = {http://dblp.uni-trier.de/db/conf/ecai/ecai98.html#MeseguerW98},\n year = 1998\n}\n\n","author_short":["Meseguer, P.","Walsh, T."],"key":"conf/ecai/MeseguerW98","id":"conf/ecai/MeseguerW98","bibbaseid":"meseguer-walsh-interleavedanddiscrepancybasedsearch-1998","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/ecai/ecai98.html#MeseguerW98"},"keyword":["dblp"],"downloads":0},"search_terms":["interleaved","discrepancy","based","search","meseguer","walsh"],"keywords":["dblp"],"authorIDs":["5460adb6cff45d9c64000123"],"dataSources":["bNJMXJJ4ihqTFb87D"]}