Automated Reasoning in Natural Style

Automated Reasoning in Natural Style (Advisor: Tudor Jebelean)