Baroni, PietroBenzmüller, ChristophWáng, Yì2023-03-082023-03-0820230955-792Xhttps://fis.uni-bamberg.de/handle/uniba/58579engJournal of logic and computationperiodicalparthttps://academic.oup.com/logcom/issue/33/2