%0 Journal Article %1 journals/jar/Stickel85 %A Stickel, Mark E. %D 1985 %J J. Autom. Reason. %K dblp %N 4 %P 333-355 %T Automated Deduction by Theory Resolution. %U http://dblp.uni-trier.de/db/journals/jar/jar1.html#Stickel85 %V 1

@article{journals/jar/Stickel85, added-at = {2020-09-02T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2d422a0cb1a2c003ce49de0c11683986d/dblp}, ee = {https://doi.org/10.1007/BF00244275}, interhash = {7edb049fbb115478459df4dea1073894}, intrahash = {d422a0cb1a2c003ce49de0c11683986d}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {333-355}, timestamp = {2020-09-09T13:35:31.000+0200}, title = {Automated Deduction by Theory Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar1.html#Stickel85}, volume = 1, year = 1985 }