%0 Journal Article %1 journals/jacm/Slagle67 %A Slagle, James R. %D 1967 %J J. ACM %K dblp %N 4 %P 687-697 %T Automatic Theorem Proving With Renamable and Semantic Resolution. %U http://dblp.uni-trier.de/db/journals/jacm/jacm14.html#Slagle67 %V 14

@article{journals/jacm/Slagle67, added-at = {2018-11-06T00:00:00.000+0100}, author = {Slagle, James R.}, biburl = {https://www.bibsonomy.org/bibtex/2387d660fa80d95145dc3a3d9e581dbe0/dblp}, ee = {https://doi.org/10.1145/321420.321428}, interhash = {1ea273624b94593de5b67c9b266b4774}, intrahash = {387d660fa80d95145dc3a3d9e581dbe0}, journal = {J. ACM}, keywords = {dblp}, number = 4, pages = {687-697}, timestamp = {2018-11-07T12:09:30.000+0100}, title = {Automatic Theorem Proving With Renamable and Semantic Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm14.html#Slagle67}, volume = 14, year = 1967 }