A New Approach to Database Logic (1988)

by G Kuper, M Y Vardi
Venue:Conference on Very Large Data Bases