On the Expressive Power of Logic Programming Languages with SetsGabriel M. Kuper1988SIGMOD/PODS/ 1988Conference paper
THE COMPLEXITY OF ORDERING SUBGOALSJeffrey D. UllmanMoshe Y. Vardi1988SIGMOD/PODS/ 1988Conference paper