Combining Resolution Decision Procedures - Kazakov, Y (2004)