Deductive Methods for Large Data Bases

Charles Kellogg, Philip Klahr, Larry Travis. Deductive Methods for Large Data Bases. In IJCAI. pages 203-209, 1977.

Abstract

Abstract is missing.