Equality and Domain Closure in First Order Data Bases ID TR-79-03 Authors Raymond Reiter Publishing date January 1979