Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret. New complexity results for Łukasiewicz logic. Soft Comput., 23(7):2187-2197, 2019. [doi]
@article{BofillMVV19,
title = {New complexity results for Łukasiewicz logic},
author = {Miquel Bofill and Felip Manyà and Amanda Vidal and Mateu Villaret},
year = {2019},
doi = {10.1007/s00500-018-3365-9},
url = {https://doi.org/10.1007/s00500-018-3365-9},
researchr = {https://researchr.org/publication/BofillMVV19},
cites = {0},
citedby = {0},
journal = {Soft Comput.},
volume = {23},
number = {7},
pages = {2187-2197},
}