Apsel, U.; Brafman, R. Lifted MEU by Weighted Model Counting. AAAI 2021, 26, 1861-1867.