On the expressive power of Datalog: tools and a case study.
scientific article; zbMATH DE number 5478520