APA (7th ed.) Citation

Boudou, J., Herzig, A., & Troquard, N. (2021). Resource separation in dynamic logic of propositional assignments. Journal of logical and algebraic methods in programming, 121, 100683. https://doi.org/10.1016/j.jlamp.2021.100683

Chicago Style (17th ed.) Citation

Boudou, Joseph, Andreas Herzig, and Nicolas Troquard. "Resource Separation in Dynamic Logic of Propositional Assignments." Journal of Logical and Algebraic Methods in Programming 121 (2021): 100683. https://doi.org/10.1016/j.jlamp.2021.100683.

MLA (9th ed.) Citation

Boudou, Joseph, et al. "Resource Separation in Dynamic Logic of Propositional Assignments." Journal of Logical and Algebraic Methods in Programming, vol. 121, 2021, p. 100683, https://doi.org/10.1016/j.jlamp.2021.100683.