Citação norma APA

Moreira, N., Pereira, D., & Sousa, S. M. d. (2015). Deciding Kleene algebra terms equivalence in Coq.

Citação norma Chicago

Moreira, Nelma, David Pereira, and Simao Melo de Sousa. Deciding Kleene Algebra Terms Equivalence in Coq. 2015.

Citação norma MLA

Moreira, Nelma, et al. Deciding Kleene Algebra Terms Equivalence in Coq. 2015.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.