Xiaohong Chen 0002, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu. Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
Abstract is missing.