@misc{indiciae279da030ac07,
  title = {The unification type of Lukasiewicz logic with a bounded number of variables},
  author = {Marco Abbadini and Luca Spada},
  year = {2025},
  url = {https://arxiv.org/abs/2504.19011},
  note = {Source identifier: 2504.19011}
}