Querying logical databases (1986)

by M Y Vardi
Venue:JCSS