Journal of Automated Reasoning (2022) - Comments
doi: 10.1007/s10817-022-09619-1  issn: 0168-7433  issn: 1573-0670 

---

David J. Pearce, Mark Utting, Lindsay Groves