FootNote

voir la section 4-3.1 "Le General Problem Solver" [p. 126] pour plus de détail sur ce programme de recherche.