John Thickstun
arxiv
fa80053