Steen, AlexanderAlexanderSteenFuenmayor, DavidDavidFuenmayor0000-0002-0042-45382023-09-272023-09-2720240955-792X1465-363Xhttps://fis.uni-bamberg.de/handle/uniba/91044engA formalization of abstract argumentation in higher-order logicarticle10.1093/logcom/exac027