Serge Abiteboul Catriel Beeri Marc Gyssens Dirk Van Gucht An Introduction to the Completeness of Languages for Complex Objects and Nested Relations. 117-138 1987 conf/nf2/87 NF² db/conf/nf2/nf2-87.html#AbiteboulBGG87