@inproceedings{ conf/iclp/Smith91,
  added-at = {2013-11-29T00:00:00.000+0100},
  author = {Smith, Donald A.},
  biburl = {http://www.bibsonomy.org/bibtex/2c8b7aedf59351a72e677e9532550fb64/dblp},
  booktitle = {ICLP},
  crossref = {conf/iclp/1991},
  editor = {Furukawa, Koichi},
  interhash = {585d2b86dd6fa173d1b42b4ca23c2b0f},
  intrahash = {c8b7aedf59351a72e677e9532550fb64},
  isbn = {0-262-56058-5},
  keywords = {dblp},
  pages = {760-774},
  publisher = {MIT Press},
  title = {Constraint Operations for CLP(FT).},
  url = {http://dblp.uni-trier.de/db/conf/iclp/iclp91.html#Smith91},
  year = {1991}
}

{"_id":{"_str":"537c54bbb3aa042605005d97"},"__v":0,"authorIDs":[],"author_short":["Smith, D.<nbsp>A."],"bibbaseid":"smith-constraintoperationsforclpft-1991","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"smith-constraintoperationsforclpft-1991","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/iclp/iclp91.html#Smith91"},"role":"author","year":"1991","url":"http://dblp.uni-trier.de/db/conf/iclp/iclp91.html#Smith91","type":"inproceedings","title":"Constraint Operations for CLP(FT).","publisher":"MIT Press","pages":"760-774","keywords":"dblp","key":"conf/iclp/Smith91","isbn":"0-262-56058-5","intrahash":"c8b7aedf59351a72e677e9532550fb64","interhash":"585d2b86dd6fa173d1b42b4ca23c2b0f","id":"conf/iclp/Smith91","editor_short":["Furukawa, K."],"editor":["Furukawa, Koichi"],"crossref":"conf/iclp/1991","booktitle":"ICLP","biburl":"http://www.bibsonomy.org/bibtex/2c8b7aedf59351a72e677e9532550fb64/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/iclp/Smith91,\n added-at = {2013-11-29T00:00:00.000+0100},\n author = {Smith, Donald A.},\n biburl = {http://www.bibsonomy.org/bibtex/2c8b7aedf59351a72e677e9532550fb64/dblp},\n booktitle = {ICLP},\n crossref = {conf/iclp/1991},\n editor = {Furukawa, Koichi},\n interhash = {585d2b86dd6fa173d1b42b4ca23c2b0f},\n intrahash = {c8b7aedf59351a72e677e9532550fb64},\n isbn = {0-262-56058-5},\n keywords = {dblp},\n pages = {760-774},\n publisher = {MIT Press},\n title = {Constraint Operations for CLP(FT).},\n url = {http://dblp.uni-trier.de/db/conf/iclp/iclp91.html#Smith91},\n year = {1991}\n}","author_short":["Smith, D.<nbsp>A."],"author":["Smith, Donald A."],"added-at":"2013-11-29T00:00:00.000+0100"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Smith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["constraint","operations","clp","smith"],"title":"Constraint Operations for CLP(FT).","year":1991,"dataSources":["DvJyE8CDhC2bX8rnN"]}