On the Relation Between Structured d-DNNFs and SDDs. - Beate Bollig; Martin Farenholtz (Theory Comput. Syst., 2021)