Using Active Connection Graphs for Reasoning with Recursive Rules.

Donald P. McKay, Stuart C. Shapiro

Browse the full IJCAI paper archive.