Derkinderen, et al.. Ordering Variables for Weighted Model Integration. 2020.