Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Lukasiewicz Logic.
2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), Nov 2020, Miyazaki, Japan. pp.243-248,
⟨10.1109/ISMVL49045.2020.00007⟩.
⟨hal-03636416⟩