@article{journals/sigplan/FrancezGPTT85,
  author = {Francez, Nissim and Goldenberg, Shalom and Pinter, Ron Y. and Tiomkin, Michael L. and Tsur, Shalom},
  ee = {http://doi.acm.org/10.1145/17919.806839},
  interhash = {bb9dc463ee8f0506ef9e01674d33da08},
  intrahash = {87e5be73ac3b9146cc90f048e7f8c8c4},
  journal = {SIGPLAN Notices},
  number = 7,
  pages = {179-190},
  title = {An environment for logic programming.},
  url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan20.html#FrancezGPTT85},
  volume = 20,
  year = 1985
}

{"_id":"BY6jwfoPYwSzCShTB","bibbaseid":"francez-goldenberg-pinter-tiomkin-tsur-anenvironmentforlogicprogramming-1985","downloads":0,"creationDate":"2017-10-06T04:25:50.991Z","title":"An environment for logic programming.","author_short":["Francez, N.","Goldenberg, S.","Pinter, R. Y.","Tiomkin, M. L.","Tsur, S."],"year":1985,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/goldenberg?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Francez"],"firstnames":["Nissim"],"suffixes":[]},{"propositions":[],"lastnames":["Goldenberg"],"firstnames":["Shalom"],"suffixes":[]},{"propositions":[],"lastnames":["Pinter"],"firstnames":["Ron","Y."],"suffixes":[]},{"propositions":[],"lastnames":["Tiomkin"],"firstnames":["Michael","L."],"suffixes":[]},{"propositions":[],"lastnames":["Tsur"],"firstnames":["Shalom"],"suffixes":[]}],"ee":"http://doi.acm.org/10.1145/17919.806839","interhash":"bb9dc463ee8f0506ef9e01674d33da08","intrahash":"87e5be73ac3b9146cc90f048e7f8c8c4","journal":"SIGPLAN Notices","number":"7","pages":"179-190","title":"An environment for logic programming.","url":"http://dblp.uni-trier.de/db/journals/sigplan/sigplan20.html#FrancezGPTT85","volume":"20","year":"1985","bibtex":"@article{journals/sigplan/FrancezGPTT85,\n author = {Francez, Nissim and Goldenberg, Shalom and Pinter, Ron Y. and Tiomkin, Michael L. and Tsur, Shalom},\n ee = {http://doi.acm.org/10.1145/17919.806839},\n interhash = {bb9dc463ee8f0506ef9e01674d33da08},\n intrahash = {87e5be73ac3b9146cc90f048e7f8c8c4},\n journal = {SIGPLAN Notices},\n number = 7,\n pages = {179-190},\n title = {An environment for logic programming.},\n url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan20.html#FrancezGPTT85},\n volume = 20,\n year = 1985\n}\n\n","author_short":["Francez, N.","Goldenberg, S.","Pinter, R. Y.","Tiomkin, M. L.","Tsur, S."],"key":"journals/sigplan/FrancezGPTT85","id":"journals/sigplan/FrancezGPTT85","bibbaseid":"francez-goldenberg-pinter-tiomkin-tsur-anenvironmentforlogicprogramming-1985","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/17919.806839","Paper":"http://dblp.uni-trier.de/db/journals/sigplan/sigplan20.html#FrancezGPTT85"},"downloads":0},"search_terms":["environment","logic","programming","francez","goldenberg","pinter","tiomkin","tsur"],"keywords":[],"authorIDs":[],"dataSources":["fAhC6JxFJjLbbAXbD"]}