%0 Journal Article %1 Robinson1965 %A Robinson, J. A. %D 1965 %J Journal of the ACM %K imported %N 1 %P 23--41 %T A Machine-Oriented Logic Based on the Resolution Priciple %V 12

@article{Robinson1965, added-at = {2007-11-23T14:13:20.000+0100}, author = {Robinson, J. A.}, biburl = {https://www.bibsonomy.org/bibtex/20b4eda600d80ee8db1e7a2597009d74e/ramaz}, interhash = {8ec676f0d6253d6412f0f7a9f3ec325c}, intrahash = {0b4eda600d80ee8db1e7a2597009d74e}, journal = {Journal of the ACM}, keywords = {imported}, month = jan, number = 1, owner = {Mauro}, pages = {23--41}, timestamp = {2007-11-23T14:13:39.000+0100}, title = {A Machine-Oriented Logic Based on the Resolution Priciple}, volume = 12, year = 1965 }