APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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