Matching μ-Logic2019-06-010 PRE AI DOI:10.1109/lics.2019.8785675OriginalOriginal request for helpShareSaveAbstract En