1. E. Amir. (De)composition of situation calculus theories. In Proc. AAAI’ 00, pages 456–463. AAAI Press/MIT Press, 2000.
2. E. Amir and S. McIlraith. Paritition-based logical reasoning. In Proc. KR’ 2000, pages 389–400, 2000.
3. W. Craig. Linear reasoning. a new form of the Herbrand-Gentzen theorem. J. of Symbolic Logic, 22:250–268, 1957.
4. A. Darwiche. Model-based diagnosis using structured system descriptions. Journal of AI Research, 8: 165–222, 1998.
5. R. Dechter. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence, 113(1–2):41–85, 1999.