,
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. In Fundamenta Informaticae (Vol. 39, pp. 167–187). IOS Press.