Csaba J. Egyhazy
Virginia Tech
Applied database logic. Volume I: fundamental database issues
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
On Database Logic
Journal of the ACM (JACM)