APA Citation

Horta, L. P. A. d. (2018). Decision Procedure for Synchronous Kleene Algebra.

Chicago Style Citation

Horta, Luís Pedro Arrojado da. Decision Procedure for Synchronous Kleene Algebra. 2018.

MLA Citation

Horta, Luís Pedro Arrojado da. Decision Procedure for Synchronous Kleene Algebra. 2018.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.