Inference with Recursive Rules

Stuart C. Shapiro, Donald P. McKay. Inference with Recursive Rules. In AAAI. pages 151-153, 1980.

Abstract

Abstract is missing.