Search: R81
2020
[1]Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis (David Fuenmayor, Christoph Benzmüller), 2020. (arXiv:2007.01019; submitted; preprint: https://www.researchgate.net/publication/342655398) [bibtex]