Marc Andries, Jan Paredaens: On Instance-Completeness for Database Query Languages involving Object Creation. J. Comput. Syst. Sci. 52(2): 357-373 (1996)