Title: Studies in the completeness and efficiency of theorem-proving by resolution