Combining Resolution Decision Procedures (2004)

(untitled) - Kazakov, Y