Robert F. Stärk Input/Output Dependencies of Normal Logic Programs. 249-262 1994 4 J. Log. Comput. 3 db/journals/logcom/logcom4.html#Stark94