On logical and extensional characterizations of attributed feature models. - Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca (Theoretical Computer Science, 2022)