Pattern-directed inference systems - Waterman, D. A. (Donald Arthur), 1936-; Hayes-Roth, Frederick (Academic Press, 1978)
Includes indexes