Logic and databases: A 20 year retrospective
1996 ◽
pp. 1-57
◽