Choosing Directions for Rules

Richard Treitel, Michael R. Genesereth. Choosing Directions for Rules. Journal of Automated Reasoning, 3(4):395-431, 1987.

Abstract

Abstract is missing.