Logics, Artificial Intelligence and Formal Methods Lab@University of São Paulo 2 models • 3 followers