Technical Reports

The ICICS/CS Reading Room


UBC CS TR-79-03 Summary

Equality and Domain Closure in First Order Data Bases, January 1979 Raymond Reiter

(Abstract not available on-line)


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.