Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). - Eyal Amir; Sheila Mcllraith (Electron. Notes Discret. Math., 2001)

Theorem Proving with Structured Theories (Preliminary Report)*. - Sheila Mcllraith; Eyal Amir (Electron. Notes Discret. Math., 2001)