APA Citation

Oliveira, E. C. A. U. F. d. A., Oliveira, F. C. A. U. F. d. A., & Rosendo, R. C. A. U. F. d. A. (2023). USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS.

Chicago Style Citation

Oliveira, Elthon; Campus Arapiraca Universidade Federal de Alagoas, Filipe; Campus Arapiraca Universidade Federal de Alagoas Oliveira, and Rafaella; Campus Arapiraca Universidade Federal de Alagoas Rosendo. USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS. 2023.

MLA Citation

Oliveira, Elthon; Campus Arapiraca Universidade Federal de Alagoas, Filipe; Campus Arapiraca Universidade Federal de Alagoas Oliveira, and Rafaella; Campus Arapiraca Universidade Federal de Alagoas Rosendo. USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS. 2023.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.