TY  - RPRT
TI  - The unification type of Lukasiewicz logic with a bounded number of variables
AU  - Marco Abbadini
AU  - Luca Spada
PY  - 2025
UR  - https://arxiv.org/abs/2504.19011
ID  - 2504.19011
ER  -