Rule-Based Inference in Large Knowledge Bases

William Mark. Rule-Based Inference in Large Knowledge Bases. In AAAI. pages 190-194, 1980.

Abstract

Abstract is missing.