Equivalence of datalog queries is undecidable (1993)

by O Shmueli
Venue:Journal of Logic Programming