A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Browse the full LPAR paper archive.