A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs
scientific article; zbMATH DE number 985121