Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-12-232022-12-2320190167-6423https://fis.uni-bamberg.de/handle/uniba/57407engUniversal (meta-)logical reasoning : Recent successesarticle10.1016/j.scico.2018.10.008