Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
Fuenmayor, David; Benzmüller, Christoph (2020): Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis, in: arXiv, doi: 10.48550/arxiv.2007.01019.
