Querying logical databases (1985)

by M Y Vardi
Venue:In: Proc. of ACM PODS