@phdThesis{JoaoJorgedaCostaVieiraRamires_10_2022,
   author = "Jo{\~a}o Jorge da Costa Vieira Ramires",
   title = "Bibliotecas de axiom{\'a}ticas, conceitos e resultados para sistemas alg{\'e}bricos",
   school = "Universidade Aberta",
   year = 2022,
   month = oct,
   BibTexOrigem = "12812 www.Inesc-ID.pt 2023-02-01"
}