Gerhard Jäger Robert F. Stärk The Defining Power of Stratified and Hierarchical Logic Programs. 55-77 1993 15 J. Log. Program. 1&2 db/journals/jlp/jlp15.html#JagerS93