Author:
Publication: Artificial Intelligence
Localising iceberg inconsistencies
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation