1. Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, and Joël Ouaknine. 2014. Foundations for decision problems in separation logic with general inductive predicates. In Proceedings of FOSSACS’14. 411–425.
2. On formal properties of simple phrase structure grammars;Bar-Hillel Yehoshua;Sprachtypologie und Universalienforschung,1961
3. Quantitative separation logic: A logic for reasoning about probabilistic pointer programs;Batz Kevin;Proceedings of the ACM on Programming Languages,2019
4. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O’Hearn, Thomas Wies, and Hongseok Yang. 2007. Shape analysis for composite data structures. In Proceedings of CAV’07. 178–192.