Marco Abbadini, Federica Di Stefano, Luca Spada. Unification in Łukasiewicz Logic with a Finite Number of Variables. In Marie-Jeanne Lesot, Susana M. Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, Ronald R. Yager, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part III. Volume 1239 of Communications in Computer and Information Science, pages 622-633, Springer, 2020. [doi]
Abstract is missing.