Nash meets Lukasiewicz: computing equilibria through logic - Preto, Sandro; Finger, Marcelo (Journal of Logic and Computation, 2025)