%0 Journal Article %1 journals/logcom/0001RZ19 %A Cohen, Liron %A Rowe, Reuben N. S. %A Zohar, Yoni %D 2019 %J J. Log. Comput. %K dblp %N 5 %P 693-721 %T Towards automated reasoning in Herbrand structures. %U http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#0001RZ19 %V 29

@article{journals/logcom/0001RZ19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Cohen, Liron and Rowe, Reuben N. S. and Zohar, Yoni}, biburl = {https://www.bibsonomy.org/bibtex/2b7b14c1529c2d1fc56843810b8b383b1/dblp}, ee = {https://doi.org/10.1093/logcom/exz011}, interhash = {1628886423b2a54f373aadd2f328a4a9}, intrahash = {b7b14c1529c2d1fc56843810b8b383b1}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {693-721}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Towards automated reasoning in Herbrand structures.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#0001RZ19}, volume = 29, year = 2019 }