Leonid Libkin Limsoon Wong Conservativity of Nested Relational Calculi with Internal Generic Functions. 273-280 1994 49 Inf. Process. Lett. 6 db/journals/ipl/ipl49.html#LibkinW94 http://dx.doi.org/10.1016/0020-0190(94)90099-X