@article{sussman1975heuristic,
  title={Heuristic techniques in computer-aided circuit analysis},
  author={Sussman, Gerald Jay and Richard M. Stallman},
  journal={IEEE Transactions on Circuits and Systems},
  volume={22},
  number={11},
  pages={857--865},
  year={1975},
  publisher={IEEE}
}

{"_id":"A2DFHGPyhhiuvaYsj","bibbaseid":"sussman-stallman-heuristictechniquesincomputeraidedcircuitanalysis-1975","downloads":0,"creationDate":"2017-03-31T20:02:49.188Z","title":"Heuristic techniques in computer-aided circuit analysis","author_short":["Sussman, G. J.","Stallman, R. M."],"year":1975,"bibtype":"article","biburl":"https://gist.githubusercontent.com/anonymous/4c13c493bef2a3e7dfa47f352f7fd4e8/raw/2b922f63fcee0c692b22bd9c23ffb827d4552235/references.bib","bibdata":{"bibtype":"article","type":"article","title":"Heuristic techniques in computer-aided circuit analysis","author":[{"propositions":[],"lastnames":["Sussman"],"firstnames":["Gerald","Jay"],"suffixes":[]},{"firstnames":["Richard","M."],"propositions":[],"lastnames":["Stallman"],"suffixes":[]}],"journal":"IEEE Transactions on Circuits and Systems","volume":"22","number":"11","pages":"857--865","year":"1975","publisher":"IEEE","bibtex":"@article{sussman1975heuristic,\n title={Heuristic techniques in computer-aided circuit analysis},\n author={Sussman, Gerald Jay and Richard M. Stallman},\n journal={IEEE Transactions on Circuits and Systems},\n volume={22},\n number={11},\n pages={857--865},\n year={1975},\n publisher={IEEE}\n}\n\n","author_short":["Sussman, G. J.","Stallman, R. M."],"key":"sussman1975heuristic","id":"sussman1975heuristic","bibbaseid":"sussman-stallman-heuristictechniquesincomputeraidedcircuitanalysis-1975","role":"author","urls":{},"downloads":0},"search_terms":["heuristic","techniques","computer","aided","circuit","analysis","sussman","stallman"],"keywords":[],"authorIDs":[],"dataSources":["WpbD7vSrpsYg8ShK9"]}