@inproceedings{conf/sac/BeaversB93,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Beavers, Gordon and Berghel, Hal},
  biburl = {https://www.bibsonomy.org/bibtex/2e7d0d82a44cfa0e9ed91bce42d48335a/dblp},
  booktitle = {SAC},
  crossref = {conf/sac/1993},
  editor = {Deaton, Ed and George, K. M. and Berghel, Hal and Hedrick, George E.},
  ee = {https://doi.org/10.1145/162754.168693},
  interhash = {1285a97e25a3ca77f6ea7d49ae4066e5},
  intrahash = {e7d0d82a44cfa0e9ed91bce42d48335a},
  isbn = {0-89791-567-4},
  keywords = {dblp},
  pages = {614-621},
  publisher = {ACM},
  timestamp = {2018-11-07T13:12:06.000+0100},
  title = {"Dynamic" Inferencing with Generalized Resolution.},
  url = {http://dblp.uni-trier.de/db/conf/sac/sac93.html#BeaversB93},
  year = 1993
}

{"_id":"3oxZCHMGCjfcLoR4u","bibbaseid":"beavers-berghel-dynamicinferencingwithgeneralizedresolution-1993","author_short":["Beavers, G.","Berghel, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Beavers"],"firstnames":["Gordon"],"suffixes":[]},{"propositions":[],"lastnames":["Berghel"],"firstnames":["Hal"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e7d0d82a44cfa0e9ed91bce42d48335a/dblp","booktitle":"SAC","crossref":"conf/sac/1993","editor":[{"propositions":[],"lastnames":["Deaton"],"firstnames":["Ed"],"suffixes":[]},{"propositions":[],"lastnames":["George"],"firstnames":["K.","M."],"suffixes":[]},{"propositions":[],"lastnames":["Berghel"],"firstnames":["Hal"],"suffixes":[]},{"propositions":[],"lastnames":["Hedrick"],"firstnames":["George","E."],"suffixes":[]}],"ee":"https://doi.org/10.1145/162754.168693","interhash":"1285a97e25a3ca77f6ea7d49ae4066e5","intrahash":"e7d0d82a44cfa0e9ed91bce42d48335a","isbn":"0-89791-567-4","keywords":"dblp","pages":"614-621","publisher":"ACM","timestamp":"2018-11-07T13:12:06.000+0100","title":"\"Dynamic\" Inferencing with Generalized Resolution.","url":"http://dblp.uni-trier.de/db/conf/sac/sac93.html#BeaversB93","year":"1993","bibtex":"@inproceedings{conf/sac/BeaversB93,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Beavers, Gordon and Berghel, Hal},\n biburl = {https://www.bibsonomy.org/bibtex/2e7d0d82a44cfa0e9ed91bce42d48335a/dblp},\n booktitle = {SAC},\n crossref = {conf/sac/1993},\n editor = {Deaton, Ed and George, K. M. and Berghel, Hal and Hedrick, George E.},\n ee = {https://doi.org/10.1145/162754.168693},\n interhash = {1285a97e25a3ca77f6ea7d49ae4066e5},\n intrahash = {e7d0d82a44cfa0e9ed91bce42d48335a},\n isbn = {0-89791-567-4},\n keywords = {dblp},\n pages = {614-621},\n publisher = {ACM},\n timestamp = {2018-11-07T13:12:06.000+0100},\n title = {\"Dynamic\" Inferencing with Generalized Resolution.},\n url = {http://dblp.uni-trier.de/db/conf/sac/sac93.html#BeaversB93},\n year = 1993\n}\n\n","author_short":["Beavers, G.","Berghel, H."],"editor_short":["Deaton, E.","George, K. M.","Berghel, H.","Hedrick, G. E."],"key":"conf/sac/BeaversB93","id":"conf/sac/BeaversB93","bibbaseid":"beavers-berghel-dynamicinferencingwithgeneralizedresolution-1993","role":"author","urls":{"Link":"https://doi.org/10.1145/162754.168693","Paper":"http://dblp.uni-trier.de/db/conf/sac/sac93.html#BeaversB93"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Hal?items=1000","dataSources":["Jy4SyfFmJfDm4DM2r"],"keywords":["dblp"],"search_terms":["dynamic","inferencing","generalized","resolution","beavers","berghel"],"title":"\"Dynamic\" Inferencing with Generalized Resolution.","year":1993}