Petrov E., Monfroy É. Constraint-based analysis of composite solvers // Computer Science. — 2005. — # 23 — P. 101-111
Castro C., Monfroy É. Towards a framework for designing constraint solvers and solver collaborations // Computer Science. — 2001. — # 16 — P. 1-27