On the Expressive Power of Logic Programming Languages with SetsGabriel M. Kuper1988SIGMOD/PODS/ 1988