Socratic proofs and paraconsistency: A case study
scientific article; zbMATH DE number 5002537
scientific article