Choosing Directions for Rules. - Richard Treitel; Michael R. Genesereth (J. Autom. Reason., 1987)