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]

@inproceedings{KiferL86:0,
  title = {Can We Implement Logic as a Database System?},
  author = {Michael Kifer and Eliezer L. Lozinskii},
  year = {1986},
  tags = {database, logic},
  researchr = {https://researchr.org/publication/KiferL86%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {XP / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986},
  editor = {Henry F. Korth},
}