Equality and Domain Closure in First Order Data Bases IDTR-79-03AuthorsRaymond ReiterPublishing dateJanuary 1979