Matching Logic: Foundation of the K Framework

POPL 2020