CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs.

Nadira Boudjani, Abdelkader Gouach, Souhila Kaci

Browse the full COMMA paper archive.