Studies of Clause Combining by