Szmuc DE. The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) . B Sect Log. 2021;50(4):421-453. doi:10.18778/0138-0680.2021.08