@inproceedings{ Frisch+Jefferson+others/04/Generating,
  author    = {Alan M. Frisch and Christopher Jefferson and Bernadette Mart\ınez Hernández and Ian Miguel},
  title     = {Generating Effective Constraint Programs: An Application of Automated Reasoning},
  booktitle   = {Proceedings of the 11th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice} ,
  year   = {2004}
}

{"_id":{"_str":"51f7df3a59ced8df44001ab6"},"__v":12,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Frisch, A. M.","Jefferson, C.","Hernández, B. M.","Miguel, I."],"bibbaseid":"frisch-jefferson-hernndez-miguel-generatingeffectiveconstraintprogramsanapplicationofautomatedreasoning-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Jefferson"],"suffixes":[]},{"firstnames":["Bernadette","Mart\\ınez"],"propositions":[],"lastnames":["Hernández"],"suffixes":[]},{"firstnames":["Ian"],"propositions":[],"lastnames":["Miguel"],"suffixes":[]}],"title":"Generating Effective Constraint Programs: An Application of Automated Reasoning","booktitle":"Proceedings of the 11th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice","year":"2004","bibtex":"@inproceedings{ Frisch+Jefferson+others/04/Generating,\n author = {Alan M. Frisch and Christopher Jefferson and Bernadette Mart\\ınez Hernández and Ian Miguel},\n title = {Generating Effective Constraint Programs: An Application of Automated Reasoning},\n booktitle = {Proceedings of the 11th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice} ,\n year = {2004}\n}\n\n\n","author_short":["Frisch, A. M.","Jefferson, C.","Hernández, B. M.","Miguel, I."],"key":"Frisch+Jefferson+others/04/Generating","id":"Frisch+Jefferson+others/04/Generating","bibbaseid":"frisch-jefferson-hernndez-miguel-generatingeffectiveconstraintprogramsanapplicationofautomatedreasoning-2004","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["generating","effective","constraint","programs","application","automated","reasoning","frisch","jefferson","hernández","miguel"],"title":"Generating Effective Constraint Programs: An Application of Automated Reasoning","title_words":["generating","effective","constraint","programs","application","automated","reasoning"],"year":2004,"dataSources":["aWoXKdFNdx2gZ47qg"]}