Szmuc DE. The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) . B Sect Log [Internet]. 2021 May 27 [cited 2025 Dec. 8];50(4):421-53. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8066