@inproceedings {4824,
	title = {Type Consistency of Queries in an Object-Oriented Database System},
	booktitle = {ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)},
	year = {1990},
	doi = {10.1145/97945.97971},
	author = {Dave D. Straube and Tamer Ozsu}
}
