Deductive Methods for Large Data Bases.

Charles Kellogg, Philip Klahr, Larry Travis

Browse the full IJCAI paper archive.