The expressive power of stratified logic programs

Phokion G. Kolaitis
1991 Information and Computation  
doi:10.1016/0890-5401(91)90059-b fatcat:aexvileko5f55b2uvolbkueynu