APA Citation

Pereira, D., Moreira, N., & Sousa, S. P. M. d. (2015). Deciding Kleene Algebra Terms Equivalence in Coq.

Chicago Style Citation

Pereira, David, Nelma Moreira, and Simão Patrício Melo de Sousa. Deciding Kleene Algebra Terms Equivalence in Coq. 2015.

MLA Citation

Pereira, David, Nelma Moreira, and Simão Patrício Melo de Sousa. Deciding Kleene Algebra Terms Equivalence in Coq. 2015.

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.