,
IOS Press
Fundamenta Informaticae
Symbolic Computation and Related Topics in Artificial Intelligence

Monfroy, E. B. G.& Ringeissen, C. (1999). An open automated framework for constraint solver extension: the SoleX approach. Fundamenta Informaticae, 39(1-2), 167–187.