Towards Natural Style for Resolution Proofs in Theorema Diana Dubu West University of Timişoara eAustria Research Institute Supervisor Prof. Dr. Tudor.
Towards Natural Style for Resolution Proofs in Theorema