A Matching Logic Foundation for Alk Alexandru Lungu and Dorel Lucanu ICTAC 2022: 290-304 Project(s): , BIB
