A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Sonia Estévez MartínAntonio J. FernándezMaria Teresa Hortalá-GonzálezMario Rodríguez-ArtalejoRafael del Vado VírsedaPublished in: Electron. Notes Theor. Comput. Sci. (2007)