%0 Journal Article %1 journals/cor/BlairJL86 %A Blair, Charles E. %A Jeroslow, Robert G. %A Lowe, James K. %D 1986 %J Comput. Oper. Res. %K dblp %N 5 %P 633-645 %T Some results and experiments in programming techniques for propositional logic. %U http://dblp.uni-trier.de/db/journals/cor/cor13.html#BlairJL86 %V 13

@article{journals/cor/BlairJL86, added-at = {2020-02-18T00:00:00.000+0100}, author = {Blair, Charles E. and Jeroslow, Robert G. and Lowe, James K.}, biburl = {https://www.bibsonomy.org/bibtex/269a29b1731eaadd7fac17180f1ae378d/dblp}, ee = {https://doi.org/10.1016/0305-0548(86)90056-0}, interhash = {e2890f6eab34a2318c4b3f028172f98e}, intrahash = {69a29b1731eaadd7fac17180f1ae378d}, journal = {Comput. Oper. Res.}, keywords = {dblp}, number = 5, pages = {633-645}, timestamp = {2020-02-19T11:51:38.000+0100}, title = {Some results and experiments in programming techniques for propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/cor/cor13.html#BlairJL86}, volume = 13, year = 1986 }