Querying logical databases (1985)

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