Amirand McIlraith. Partition-based Logical Reasoning for First-order and Propositional Theories. no. 1-2, Elsevier BV, 2005, doi:10.1016/j.artint.2004.11.004.