@article{edelkamp2012symbolic,
  title={Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction},
  author={Edelkamp, Stefan and Kissmann, Peter and Torralba, Alvaro},
  journal={HSDIP 2012},
  pages={61},
  year={2012}
}

{"_id":{"_str":"534278a00e946d920a00121e"},"__v":6,"authorIDs":[],"author_short":["Edelkamp, S.","Kissmann, P.","Torralba, A."],"bibbaseid":"edelkamp-kissmann-torralba-symbolicasearchwithpatterndatabasesandthemergeandshrinkabstraction-2012","bibdata":{"bibtype":"article","type":"article","title":"Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction","author":[{"propositions":[],"lastnames":["Edelkamp"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Kissmann"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Torralba"],"firstnames":["Alvaro"],"suffixes":[]}],"journal":"HSDIP 2012","pages":"61","year":"2012","bibtex":"@article{edelkamp2012symbolic,\n title={Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction},\n author={Edelkamp, Stefan and Kissmann, Peter and Torralba, Alvaro},\n journal={HSDIP 2012},\n pages={61},\n year={2012}\n}\n\n","author_short":["Edelkamp, S.","Kissmann, P.","Torralba, A."],"key":"edelkamp2012symbolic","id":"edelkamp2012symbolic","bibbaseid":"edelkamp-kissmann-torralba-symbolicasearchwithpatterndatabasesandthemergeandshrinkabstraction-2012","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.plg.inf.uc3m.es/~atorralb/bib/publist.bib","downloads":0,"keywords":[],"search_terms":["symbolic","search","pattern","databases","merge","shrink","abstraction","edelkamp","kissmann","torralba"],"title":"Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction","year":2012,"dataSources":["9nhcmgGGkcNujG9hH"]}