$\mathbb {K}$ Definitions as Matching Logic Theories, Formally.

Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu

Browse the full FOSSACS paper archive.