A decomposition rule for decision procedures by resolution-based calculi (2004)

by Ulrich Hustadt, Boris Motik, Ulrike Sattler
Venue:In Proc. of the 11th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2004