Matching Logic0 PRE AI DOI:10.23638/lmcs-13(4:28)2017OriginalOriginal request for helpShareSaveAbstract En