Querying Logical Databases (1986)

by M Y Vardi
Venue:JCSS