Equivalence of datalog queries is undecidable (1993)

by O Shmueli
Venue:J. Log. Program