APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

Pereira, David, et al. Deciding Kleene Algebra Terms Equivalence in Coq. 2016.