USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS - Oliveira, Elthon; Campus Arapiraca Universidade Federal de Alagoas (2023)