Integrating an Explanation-Based Learning Mechanism into a General Problem-Solver. - F. Zerr; Jean-Gabriel Ganascia (EWSL, 1991)