Text this: Resolution Proof Systems :