A Resolution-Based Proof Procedure Using Deletion-Directed Search | IEEE Journals & Magazine | IEEE Xplore