Weighted monadic Datalog
scientific article; zbMATH DE number 5344348
scientific article