Lagniez, J.-M.; Marquis, P. A Recursive Algorithm for Projected Model Counting. AAAI 2019, 33, 1536-1543.