Matching logic explained Xiaohong Chen and Grigore Rosu and Dorel Lucanu J. Log. Algebraic Methods Program. 120: 100638 (2021) Project(s): BIB
