{"_id":{"_str":"51f87f2959ced8df44001f81"},"__v":22,"authorIDs":["5456e8af8b01c81930000051","5460adb6cff45d9c64000123"],"author_short":["Frisch, A. M.","Hnich, B.","Miguel, I.","Smith, B. M.","Walsh, T."],"bibbaseid":"frisch-hnich-miguel-smith-walsh-transformingandrefiningabstractconstraintspecifications-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2005-09-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Frisch"],"firstnames":["Alan","M."],"suffixes":[]},{"propositions":[],"lastnames":["Hnich"],"firstnames":["Brahim"],"suffixes":[]},{"propositions":[],"lastnames":["Miguel"],"firstnames":["Ian"],"suffixes":[]},{"propositions":[],"lastnames":["Smith"],"firstnames":["Barbara","M."],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/229bbf4dce21946f1587d0af0f4b37237/dblp","booktitle":"SARA","crossref":"conf/sara/2005","date":"2005-09-23","description":"dblp","editor":[{"propositions":[],"lastnames":["Zucker"],"firstnames":["Jean-Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Saitta"],"firstnames":["Lorenza"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/11527862_6","interhash":"f3f0ab31d4feaaf09bec626f7a43185d","intrahash":"29bbf4dce21946f1587d0af0f4b37237","isbn":"3-540-27872-9","keywords":"dblp","pages":"76-91","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2005-09-23T00:00:00.000+0200","title":"Transforming and Refining Abstract Constraint Specifications.","url":"http://dblp.uni-trier.de/db/conf/sara/sara2005.html#FrischHMSW05","volume":"3607","year":"2005","bibtex":"@inproceedings{conf/sara/FrischHMSW05,\n added-at = {2005-09-23T00:00:00.000+0200},\n author = {Frisch, Alan M. and Hnich, Brahim and Miguel, Ian and Smith, Barbara M. and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/229bbf4dce21946f1587d0af0f4b37237/dblp},\n booktitle = {SARA},\n crossref = {conf/sara/2005},\n date = {2005-09-23},\n description = {dblp},\n editor = {Zucker, Jean-Daniel and Saitta, Lorenza},\n ee = {http://dx.doi.org/10.1007/11527862_6},\n interhash = {f3f0ab31d4feaaf09bec626f7a43185d},\n intrahash = {29bbf4dce21946f1587d0af0f4b37237},\n isbn = {3-540-27872-9},\n keywords = {dblp},\n pages = {76-91},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2005-09-23T00:00:00.000+0200},\n title = {Transforming and Refining Abstract Constraint Specifications.},\n url = {http://dblp.uni-trier.de/db/conf/sara/sara2005.html#FrischHMSW05},\n volume = 3607,\n year = 2005\n}\n\n","author_short":["Frisch, A. M.","Hnich, B.","Miguel, I.","Smith, B. M.","Walsh, T."],"editor_short":["Zucker, J.","Saitta, L."],"key":"conf/sara/FrischHMSW05","id":"conf/sara/FrischHMSW05","bibbaseid":"frisch-hnich-miguel-smith-walsh-transformingandrefiningabstractconstraintspecifications-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11527862_6","Paper":"http://dblp.uni-trier.de/db/conf/sara/sara2005.html#FrischHMSW05"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["transforming","refining","abstract","constraint","specifications","frisch","hnich","miguel","smith","walsh"],"title":"Transforming and Refining Abstract Constraint Specifications.","title_words":["transforming","refining","abstract","constraint","specifications"],"year":2005,"dataSources":["bNJMXJJ4ihqTFb87D"]}