Chitta Baral Michael Gelfond Logic Programming and Knowledge Representation. 73-148 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#BaralG94