Explaining Decision-Making Algorithms through UI: Strategies to Help Non-Expert Stakeholders. - Hao Fei Cheng; Ruotong Wang 002; Zheng Zhang; Fiona O'Connell; Terrance Gray; F. Maxwell Harper; Haiyi Zhu (CHI, 2019)

Binding Contexts as Partitionable Multisets in Abella. - Terrance Gray; Gopalan Nadathur (LFMTP@FSCD, 2024)