Can We Implement Logic as a Database System?

Michael Kifer, Eliezer L. Lozinskii. Can We Implement Logic as a Database System?. In Henry F. Korth, editor, XP / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986. 1986. [doi]

Abstract

Abstract is missing.