Knowledge sources for an intelligent algebra tutor. - William S. Bergar; Arthur M. Farley; Garland Bayley (Comput. Intell., 1986)