Efficient Proposational Proving

Efficient Proposational Proving (Advisor: Tudor Jebelean)