Chan Kwok Hung Equivalent Logic Programs. 187-199 1990 8 J. Log. Program. 3 db/journals/jlp/jlp8.html#Hung90