Citação norma APA

Caires, Luís, & Lozes, Etienne. (2019). Elimination of quantifiers and undecidability in spatial logics for concurrency.

Citação norma Chicago

Caires, Luís, and Lozes, Etienne. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. 2019.

Citação norma MLA

Caires, Luís, and Lozes, Etienne. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. 2019.

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