Research article (Notre Dame Journal of Formal Logic, 2021) · cited 10× · AI/ML