@article{44f20c7b91ff4487824e029744797dc6,
title = "Matching logic explained",
keywords = "(co)inductive data types, (co)monad specification, Dependent types, Matching logic, Program logics, Specification of transition systems",
author = "Xiaohong Chen and Dorel Lucanu and Grigore Ro{\c s}u",
note = "Publisher Copyright: {\textcopyright} 2021 Elsevier Inc.",
year = "2021",
month = apr,
doi = "10.1016/j.jlamp.2021.100638",
language = "English",
volume = "120",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2208",
publisher = "Elsevier",
}