F. Osman, “Truth tree short-cut rules for biconditional and exclusive disjunction propositions”, IJOESS, vol. 16, no. 60, pp. 1054–1077, Jun. 2025.