Minker J.  1996.  Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.