Inference with Recursive Rules.

Stuart C. Shapiro, Donald P. McKay

Browse the full AAAI paper archive.