Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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.