Szmuc, Damian E. “The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)”. Bulletin of the Section of Logic 50, no. 4 (May 27, 2021): 421–453. Accessed April 19, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8066.