APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.