The Resolution Refutation Method