TY - JOUR T1 - Logic and databases: A 20 year retrospective JF - Logic in Databases Y1 - 1996 A1 - Minker, Jack ER -