Oded Shmueli Equivalence of DATALOG Queries is Undecidable. 231-241 1993 15 J. Log. Program. 3 db/journals/jlp/jlp15.html#Shmueli93