Alexandru Lungu Member Status: Permanent Institution: Faculty of Computer Science@Alexandru Ioan Cuza, University of Iasi Publications 2022 A Matching Logic Foundation for Alk Alexandru Lungu and Dorel Lucanu BIB