J.-M. Lagniez and P. Marquis, “A Recursive Algorithm for Projected Model Counting”, AAAI, vol. 33, no. 01, pp. 1536-1543, Jul. 2019.