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 2024 Jul. 6];50(4):421-53. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8066