Forward Chaining Logic Programming with the ATMS. - Nicholas S. Flann; Thomas G. Dietterich; Dan R. Corpon (AAAI, 1987)