The defining power of stratified and hierarchical logic programs. Jäger, G. & Stärk, R. F. Journal of Logic Programming, 15(1–2):55–77, 1993.
The defining power of stratified and hierarchical logic programs [pdf]Paper  bibtex   

Downloads: 0