Pereira, D., Moreira, N., & Sousa, S. P. M. d. (2016). Deciding Kleene Algebra Terms Equivalence in Coq.
Citação do estilo Chicago (17ª ed.)Pereira, David, Nelma Moreira, e Simão Patrício Melo de Sousa. Deciding Kleene Algebra Terms Equivalence in Coq. 2016.
Citação MLA (8ª ed.)Pereira, David, et al. Deciding Kleene Algebra Terms Equivalence in Coq. 2016.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.