Pattern Match Reduction in a KBMS via the Maintenance of Derived Intermediate Relations

JN Etheredge

Abstract

This paper has been withdrawn.