"Can We Use the Universal Instance Assumption Without Using Nulls?"

Yehoshua Sagiv (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics