On the expressive power of logic programming languages with sets (1988)

by G M Kuper
Venue:In Proceedings of 7th ACM Symposium on Principles of Database Systems