Counting and conjunctive queries in the lifted junction tree algorithm
scientific article; zbMATH DE number 7354952