Automating argument construction
scientific article; zbMATH DE number 4070384