Towards automated reasoning in Herbrand structures
- Liron Cohen
- , Reuben N.S. Rowe
- , Yoni Zohar
Research output: Contribution to journal › Article › peer-review
2
Scopus
citations