Finding Hard Instances of Satisfiability in Lukasiewicz Logics | Publicación