E. Yang, “Nilpotent Minimum Logic NM and Pretabularity”, B Sect Log, vol. 49, no. 1, pp. 1–11, Mar. 2020.