[1]
T. Snider, “Using Tautologies and Contradictions”, SuB, vol. 19, pp. 610–627, May 2019.