Citação norma APA

Caires, L., & Lozes, E. (2006). Elimination of quantifiers and undecidability in spatial logics for concurrency.

Citação norma Chicago

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

Citação norma MLA

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

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