Yannis Dimopoulos On Computing Logic Programs. 259-289 1996 17 J. Autom. Reasoning 3 db/journals/jar/jar17.html#Dimopoulos96