{"_id":{"_str":"51f87f2959ced8df44001f82"},"__v":20,"authorIDs":["5456e8af8b01c81930000051","5460adb6cff45d9c64000123"],"author_short":["Frisch, A. M.","Hnich, B.","Miguel, I.","Smith, B. M.","Walsh, T."],"bibbaseid":"frisch-hnich-miguel-smith-walsh-transformingandrefiningabstractconstraintspecifications-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["Brahim"],"propositions":[],"lastnames":["Hnich"],"suffixes":[]},{"firstnames":["Ian"],"propositions":[],"lastnames":["Miguel"],"suffixes":[]},{"firstnames":["Barbara","M."],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["Toby"],"propositions":[],"lastnames":["Walsh"],"suffixes":[]}],"title":"Transforming and Refining Abstract Constraint Specifications","booktitle":"Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, 2004","pages":"74--88","year":"2004","bibtex":"@inproceedings{ Frisch+Hnich+others/04/Transforming,\n author = {Alan M. Frisch and Brahim Hnich and Ian Miguel and Barbara M. Smith and Toby Walsh},\n title = {Transforming and Refining Abstract Constraint Specifications},\n booktitle = {Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, 2004},\n pages = {74--88} ,\n year = {2004}\n}\n\n\n","author_short":["Frisch, A. M.","Hnich, B.","Miguel, I.","Smith, B. M.","Walsh, T."],"key":"Frisch+Hnich+others/04/Transforming","id":"Frisch+Hnich+others/04/Transforming","bibbaseid":"frisch-hnich-miguel-smith-walsh-transformingandrefiningabstractconstraintspecifications-2004","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/proceedings/proceedings-of-the-joint-annual-workshop-of-ercimcolognet-on-constraint-solving-and-constraint-logic-programming-2004/?format=bibtex","downloads":0,"keywords":[],"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":2004,"dataSources":["f6dj6vjSa2jpH4tAE"]}