Gabriel M. Kuper. On the Expressive Power of Logic Programming Languages with Sets. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. pages 10-14, ACM, 1988. [doi]
Abstract is missing.