@article{b42774c7a63244828078acec5b7b9226,
title = "Towards a unified proof framework for automated fixpoint reasoning using matching logic",
keywords = "automated reasoning, fixpoints, induction, matching logic",
author = "Xiaohong Chen and Trinh, {Minh Thai} and Nishant Rodrigues and Lucas Pe{\~n}a and Grigore Ro{\c s}u",
note = "Funding Information: We warmly thank the anonymous OOPSLA reviewers and our shepherd. Their wit and dedication has helped us improve the presentation. This work was supported in part by NSF CNS 16-19275. This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092. This research is also partly supported by the National Research Foundation, Prime Minister{\textquoteright}s Office, Singapore under its Campus for Research Excellence and Technological Enterprise (CREATE) programme. Publisher Copyright: {\textcopyright} 2020 Owner/Author.",
year = "2020",
month = nov,
day = "13",
doi = "10.1145/3428229",
language = "English",
volume = "4",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery (ACM)",
number = "OOPSLA",
}