Abstract
Bao, JQ; Yao, NY
ANNALS OF PURE AND APPLIED LOGIC, 2022; 173 (4):