Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
scientific article; zbMATH DE number 6184685
scientific article