1. E. Amir. (De)composition of situation calculus theories. In Proc. National Conference on Artificial Intelligence (AAAI’ 00) AAAI Press/MIT Press, 2000. To appear.
2. E. Amir and S. McIlraith. Partition-based logical reasoning. In Intl. Conf. on Knowledge Representation and Reasoning (KR’ 2000), pages 389–400, 2000.
3. F. Baader and K. U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In 11th Intl. conf. on automated deduction, volume 607 of LNAI, pages 50–65. Springer-Verlag, 1992.
4. A. Becker and D. Geiger. A sufficiently fast algorithm for finding close to optimal junction trees. In Proc. Twelfth Conference on Uncertainty in Artificial Intelligence (UAI’ 96), pages 81–89. Morgan Kaufmann, 1996.
5. M. P Bonacina. Experiments with subdivision of search in distributed theorem proving. In Markus Hitz and Erich Kaltofen, editors, Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO97), pages 88–100. ACM Press, 1997.