Chitta Baral Michael Gelfond Olga Kosheleva Approximating General Logic Programs. 181-198 1993 ILPS db/conf/slp/slp93.html#BaralGK93