APA (7th ed.) Citation

MATHEJA, C., PAGEL, J., & ZULEGER, F. (2023). A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. ACM Transactions on Computational Logic, 24(1), 1. https://doi.org/10.1145/3534927

Chicago Style (17th ed.) Citation

MATHEJA, CHRISTOPH, JENS PAGEL, and FLORIAN ZULEGER. "A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions." ACM Transactions on Computational Logic 24, no. 1 (2023): 1. https://doi.org/10.1145/3534927.

MLA (9th ed.) Citation

MATHEJA, CHRISTOPH, et al. "A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions." ACM Transactions on Computational Logic, vol. 24, no. 1, 2023, p. 1, https://doi.org/10.1145/3534927.