Lifted Reasoning for Combinatorial Counting. - Totis, Pietro; Davis, Jesse; De Raedt, Luc; Kimmig, Angelika (Journal of Artificial Intelligence Research, 2023)