yk@a.nl.cs.cmu.edu (Yasusi Kanada) (02/28/89)
I've found another reference. Flann, N. S., Dietterich, T. G., and Corpron, D. R.: Forward Chaining Logic Programming with the ATMS, AAAI87, pp.24-29, 1987. I'll summarize again later. -Yasusi Kanada yk@a.nl.cs.cmu.edu --