Equality and Domain Closure in First Order Data Bases

ID
TR-79-03
Authors
Raymond Reiter
Publishing date
January 1979