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