Kung-Kiu Lau Mario Ornaghi Sten-Åke Tärnlund Steadfast Logic Programs. 259-294 1999 38 J. Log. Program. 3 db/journals/jlp/jlp38.html#LauOT99