Equality and domain closure in first-order databases (1980)

by R Reiter
Venue:J. ACM